| 2022 | Diaframe: automated verification of fine-grained concurrent programs in Iris. | Ike Mulder, Robbert Krebbers, Herman Geuvers |
| 2022 | Warping cache simulation of polyhedral programs. | Canberk Morelli, Jan Reineke |
| 2022 | ADA: a tool for visualizing the architectural overview of open-source repositories. | Md Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski |
| 2022 | A flexible type system for fearless concurrency. | Mae Milano, Joshua Turcotti, Andrew C. Myers |
| 2022 | RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. | Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer |
| 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 | From functional to imperative: combining destination-passing style and views. | Zhitao Lin, Christophe Dubach |
| 2022 | Modeling code manipulation in JIT compilers. | HeuiChan Lim, Xiyu Kang, Saumya Debray |
| 2022 | BinFPE: accurate floating-point exception detection for GPU applications. | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
| 2022 | WARio: efficient code generation for intermittent computing. | Vito Kortbeek, Souradip Ghosh, Josiah D. Hester, Simone Campanoni, Przemyslaw Pawelczak |
| 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 | Distributed parallel computing with Futhark: a functional language to generate distributed parallel code. | Michal El Kharroubi, Baptiste Coudray, Orestis Malaspinas |
| 2022 | RunTime-assisted convergence in replicated data types. | Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko |
| 2022 | CycleQ: an efficient basis for cyclic equational reasoning. | Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay |
| 2022 | Exocompilation for productive programming of hardware accelerators. | Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley |
| 2022 | Hamband: RDMA replicated data types. | Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani |
| 2022 | Adore: atomic distributed objects with certified reconfiguration. | Wolf Honor, Ji-Yong Shin, Jieung Kim, Zhong Shao |
| 2022 | Combinatory logic and combinators in array languages. | Conor Hoekstra |
| 2022 | ANOSY: approximated knowledge synthesis with refinement types for declassification. | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2022 | Type-directed program synthesis for RESTful APIs. | Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova |
| 2022 | P4BID: information flow control in p4. | Karuna Grewal, Loris D'Antoni, Justin Hsu |
| 2022 | Deep and shallow types for gradual languages. | Ben Greenman |
| 2022 | Checking robustness to weak persistency models. | Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky |
| 2022 | Deoptless: speculation with dispatched on-stack replacement and specialized continuations. | Olivier Flckiger, Jan Jecmen, Sebastin Krynski, Jan Vitek |
| 2022 | IRDL: an IR definition language for SSA compilers. | Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser |