| 2022 | "Synthesizing input grammars": a replication study. Bachir Bendrissou, Rahul Gopinath, Andreas Zeller |
| 2022 | A flexible type system for fearless concurrency. Mae Milano, Joshua Turcotti, Andrew C. Myers |
| 2022 | A study of real-world data races in Golang. Milind Chabbi, Murali Krishna Ramanathan |
| 2022 | A typed continuation-passing translation for lexical effect handlers. Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann |
| 2022 | ANOSY: approximated knowledge synthesis with refinement types for declassification. Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2022 | Abstract interpretation repair. Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | Adore: atomic distributed objects with certified reconfiguration. Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao |
| 2022 | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. Yuxiang Peng, Mingsheng Ying, Xiaodi Wu |
| 2022 | All you need is superword-level parallelism: systematic control-flow vectorization with SLP. Yishen Chen, Charith Mendis, Saman P. Amarasinghe |
| 2022 | Autoscheduling for sparse tensor algebra with an asymptotic cost model. Willow Ahrens, Fredrik Kjolstad, Saman P. Amarasinghe |
| 2022 | Bind the gap: compiling real software to hardware FFT accelerators. Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F. P. O'Boyle |
| 2022 | Can reactive synthesis and syntax-guided synthesis be friends? Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
| 2022 | Certified mergeable replicated data types. Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan |
| 2022 | Checking robustness to weak persistency models. Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky |
| 2022 | Choosing mathematical function implementations for speed and accuracy. Ian Briggs, Pavel Panchekha |
| 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 | Computing correctly with inductive relations. Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos |
| 2022 | CycleQ: an efficient basis for cyclic equational reasoning. Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay |
| 2022 | DISTAL: the distributed tensor algebra compiler. Rohan Yadav, Alex Aiken, Fredrik Kjolstad |
| 2022 | Deep and shallow types for gradual languages. Ben Greenman |
| 2022 | Deoptless: speculation with dispatched on-stack replacement and specialized continuations. Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek |
| 2022 | Diaframe: automated verification of fine-grained concurrent programs in Iris. Ike Mulder, Robbert Krebbers, Herman Geuvers |
| 2022 | Differential cost analysis with simultaneous potentials and anti-potentials. Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
| 2022 | Efficient approximations for cache-conscious data placement. Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2022 | Exocompilation for productive programming of hardware accelerators. Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley |
| 2022 | Finding the dwarf: recovering precise types from WebAssembly binaries. Daniel Lehmann, Michael Pradel |
| 2022 | Finding typing compiler bugs. Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
| 2022 | Formally verified lifting of C-compiled x86-64 binaries. Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
| 2022 | FreeTensor: a free-form DSL with holistic optimizations for irregular tensor programs. Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, Chen Zhang |
| 2022 | Giallar: push-button verification for the qiskit Quantum compiler. Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu |
| 2022 | Guaranteed bounds for posterior inference in universal probabilistic programming. Raven Beutner, C.-H. Luke Ong, Fabian Zaiser |
| 2022 | Hamband: RDMA replicated data types. Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani |
| 2022 | Hardening attack surfaces with formally proven binary format parsers. Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta |
| 2022 | IRDL: an IR definition language for SSA compilers. Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser |
| 2022 | Interpreter-guided differential JIT compiler unit testing. Guillermo Polito, Stéphane Ducasse, Pablo Tesone |
| 2022 | Islaris: verification of machine code against authoritative ISA semantics. Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell |
| 2022 | Karp: a language for NP reductions. Chenhao Zhang, Jason D. Hartline, Christos Dimoulas |
| 2022 | Kleene algebra modulo theories: a framework for concrete KATs. Michael Greenberg, Ryan Beckett, Eric Hayden Campbell |
| 2022 | Landmarks and regions: a robust approach to data extraction. Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
| 2022 | Lasagne: a static binary translator for weak memory model architectures. Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia |
| 2022 | Leapfrog: certified equivalence for protocol parsers. Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett |
| 2022 | Low-latency, high-throughput garbage collection. Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley |
| 2022 | Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu |
| 2022 | Modular information flow through ownership. Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan |
| 2022 | Odin: on-demand instrumentation with on-the-fly recompilation. Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang |
| 2022 | P4BID: information flow control in p4. Karuna Grewal, Loris D'Antoni, Justin Hsu |
| 2022 | PDL: a high-level hardware design language for pipelined processors. Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers |
| 2022 | PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022 Ranjit Jhala, Isil Dillig |
| 2022 | PaC-trees: supporting parallel and compressed purely-functional collections. Laxman Dhulipala, Guy E. Blelloch, Yan Gu, Yihan Sun |
| 2022 | Progressive polynomial approximations for fast correctly rounded math libraries. Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte |
| 2022 | PyLSE: a pulse-transfer level language for superconductor electronics. Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf |
| 2022 | Quartz: superoptimization of Quantum circuits. Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia |
| 2022 | Quickstrom: property-based acceptance testing with LTL specifications. Liam O'Connor, Oskar Wickström |
| 2022 | Recursion synthesis with unrealizability witnesses. Azadeh Farzan, Danya Lette, Victor Nicolet |
| 2022 | Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
| 2022 | RunTime-assisted convergence in replicated data types. Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko |
| 2022 | RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer |
| 2022 | Semantic soundness for language interoperability. Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed |
| 2022 | Sequential reasoning for optimizing compilers under weak memory concurrency. Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav |
| 2022 | Software-hardware codesign for efficient in-memory regular pattern matching. Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang |
| 2022 | Sound sequentialization for concurrent program verification. Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
| 2022 | Synthesizing analytical SQL queries from computation demonstration. Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang |
| 2022 | Turning manual concurrent memory reclamation into automatic reference counting. Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
| 2022 | Type-directed program synthesis for RESTful APIs. Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova |
| 2022 | Verifying optimizations of concurrent programs in the promising semantics. Junpeng Zha, Hongjin Liang, Xinyu Feng |
| 2022 | Visualization question answering using introspective program synthesis. Yanju Chen, Xifeng Yan, Yu Feng |
| 2022 | WARio: efficient code generation for intermittent computing. Vito Kortbeek, Souradip Ghosh, Josiah D. Hester, Simone Campanoni, Przemyslaw Pawelczak |
| 2022 | Warping cache simulation of polyhedral programs. Canberk Morelli, Jan Reineke |
| 2022 | WebRobot: web robotic process automation using interactive programming-by-demonstration. Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang |