Publication NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker Programming Language Design and Implementation | June 2020
Publication Typilus: Neural Type Hints Miltos Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao 2020 Programming Language Design and Implementation | June 2020 Project
Publication The early history of F# Don Syme 2020 Proceedings of the ACM on Programming Languages | June 2020
Publication ExTuNe: Explaining Tuple Non-conformance Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani 2020 International Conference on Management of Data | June 2020 Video
Publication CacheQuery: learning replacement policies from hardware caches Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf 2020 Programming Language Design and Implementation | June 2020
Publication CodeSearchNet Challenge: Evaluating the State of Semantic Code Search Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, Miltiadis Allamanis, Marc Brockschmidt June 2020
Publication MLOS: An Infrastructure for Automated Software Performance Engineering Carlo Curino, Neha Godwal, Brian Kroth, Sergiy Kuryata, Greg Lapinski, Siqi Liu, Slava Oks, Olga Poppe, Adam Smiechowski, Ed Thayer, Markus Weimer, Yiwen Zhu DEEM 2020 | June 2020
Publication Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference Mohammad Raza, Sumit Gulwani SIGMOD (Special Interest Group on Management of Data) | June 2020 Project Project Project
Publication Causality-Guided Adaptive Interventional Debugging Anna Fariha, Suman Nath, Alexandra Meliou ACM SIGMOD International Conference on Management of Data | June 2020 Project
Publication Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020 Project Project
