| 2018 | Advanced automata-based algorithms for program termination checking. | Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | Calling-to-reference context translation via constraint-guided CFL-reachability. | Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
| 2018 | An array API for finite difference methods. | Eva Burrows, Helmer Andr Friis, Magne Haveraaen |
| 2018 | Static serializability analysis for causal consistency. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2018 | Typed closure conversion for the calculus of constructions. | William J. Bowman, Amal Ahmed |
| 2018 | VeriPhy: verified controller executables from verified cyber-physical system models. | Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, Andr Platzer |
| 2018 | Putting in all the stops: execution control for JavaScript. | Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
| 2018 | Active learning of points-to specifications. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2018 | Write-rationing garbage collection for hybrid memories. | Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout |
| 2018 | Parallel programming with arrays in Kappa. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2018 | Ryū: fast float-to-string conversion. | Ulf Adams |
| 2018 | Polyhedral auto-transformation with no integer linear programming. | Aravind Acharya, Uday Bondhugula, Albert Cohen |
| 2018 | Heartbeat scheduling: provable efficiency for nested parallelism. | Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2018 | A general path-based representation for predicting program properties. | Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav |
| 2017 | Skeletal program enumeration for rigorous compiler testing. | Qirun Zhang, Chengnian Sun, Zhendong Su |
| 2017 | Combining the logical and the probabilistic in program analysis. | Xin Zhang, Xujie Si, Mayur Naik |
| 2017 | DemoMatch: API discovery from demonstrations. | Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
| 2017 | Practical partial evaluation for high-performance dynamic language runtimes. | Thomas Wrthinger, Christian Wimmer, Christian Humer, Andreas W, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer |
| 2017 | Synthesizing highly expressive SQL queries from input-output examples. | Chenglong Wang, Alvin Cheung, Rastislav Bodk |
| 2017 | Dyna: toward a self-optimizing declarative language for machine learning applications. | Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner |
| 2017 | Context transformations for pointer analysis. | Rei Thiessen, Ondrej Lhotk |
| 2017 | Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. | Tian Tan, Yue Li, Jingling Xue |
| 2017 | Modular array-based GPU computing in a dynamically-typed language. | Matthias Springer, Peter Wauligmann, Hidehiko Masuhara |
| 2017 | HPTT: a high-performance tensor transposition C++ library. | Paul Springer, Tong Su, Paolo Bientinesi |
| 2017 | Static deadlock detection for asynchronous C# programs. | Anirudh Santhiar, Aditya Kanade |