| 2022 | Recursion synthesis with unrealizability witnesses. | Azadeh Farzan, Danya Lette, Victor Nicolet |
| 2022 | Sound sequentialization for concurrent program verification. | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
| 2022 | WebRobot: web robotic process automation using interactive programming-by-demonstration. | Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang |
| 2022 | Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. | Julian Dolby, Jason Tsay, Martin Hirzel |
| 2022 | Leapfrog: certified equivalence for protocol parsers. | Ryan Doenges, Tobias Kapp, John Sarracino, Nate Foster, Greg Morrisett |
| 2022 | PaC-trees: supporting parallel and compressed purely-functional collections. | Laxman Dhulipala, Guy E. Blelloch, Yan Gu, Yihan Sun |
| 2022 | Compass: strong and compositional library specifications in relaxed memory separation logic. | Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer |
| 2022 | Modular information flow through ownership. | Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan |
| 2022 | Sequential reasoning for optimizing compilers under weak memory concurrency. | Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav |
| 2022 | Can reactive synthesis and syntax-guided synthesis be friends? | Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
| 2022 | Visualization question answering using introspective program synthesis. | Yanju Chen, Xifeng Yan, Yu Feng |
| 2022 | All you need is superword-level parallelism: systematic control-flow vectorization with SLP. | Yishen Chen, Charith Mendis, Saman P. Amarasinghe |
| 2022 | Finding typing compiler bugs. | Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
| 2022 | A study of real-world data races in Golang. | Milind Chabbi, Murali Krishna Ramanathan |
| 2022 | Abstract interpretation repair. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | Choosing mathematical function implementations for speed and accuracy. | Ian Briggs, Pavel Panchekha |
| 2022 | Guaranteed bounds for posterior inference in universal probabilistic programming. | Raven Beutner, C.-H. Luke Ong, Fabian Zaiser |
| 2022 | "Synthesizing input grammars": a replication study. | Bachir Bendrissou, Rahul Gopinath, Andreas Zeller |
| 2022 | Abstract interpretation of Michelson smart-contracts. | Guillaume Bau, Antoine Min, Vincent Botbol, Mehdi Bouaziz |
| 2022 | ExeBench: an ML-scale dataset of executable C functions. | Jordi Armengol-Estap, Jackson Woodruff, Alexander Brauckmann, Jos Wesley de Souza Magalhes, Michael F. P. O'Boyle |
| 2022 | Turning manual concurrent memory reclamation into automatic reference counting. | Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
| 2022 | Autoscheduling for sparse tensor algebra with an asymptotic cost model. | Willow Ahrens, Fredrik Kjolstad, Saman P. Amarasinghe |
| 2022 | Efficient approximations for cache-conscious data placement. | Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2022 | Progressive polynomial approximations for fast correctly rounded math libraries. | Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte |
| 2022 | Finding the dwarf: recovering precise types from WebAssembly binaries. | Daniel Lehmann, Michael Pradel |