| 2023 | RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. | Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly |
| 2023 | A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos. | Pedro Valero-Lara, Jeffrey S. Vetter |
| 2023 | Towards Structured Algebraic Programming. | Daniele G. Spampinato, Denis Jelovina, Jiawei Zhuang, Albert-Jan Nicholas Yzelman |
| 2023 | Faster APL with Lazy Extensions. | Andrew Sengul |
| 2023 | Completeness Thresholds for Memory Safety of Array Traversing Programs. | Tobias Reinhard, Justus Fasse, Bart Jacobs |
| 2023 | Static Analysis of Data Transformations in Jupyter Notebooks. | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
| 2023 | Extensible and Scalable Architecture for Hybrid Analysis. | Marc Miltenberger, Steven Arzt |
| 2023 | HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms. | Bjrn Lisper, Linus Kllberg |
| 2023 | User-Assisted Code Query Optimization. | Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang |
| 2023 | Crosys: Cross Architectural Dynamic Analysis. | Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim |
| 2023 | U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning. | Aaron W. Hsu, Rodrigo Giro Serro |
| 2023 | HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. | Konrad Hohentanner, Florian Kasten, Lukas Auer |
| 2023 | Combining E-Graphs with Abstract Interpretation. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2023 | Polymorphic Types with Polynomial Sizes. | Jean-Louis Colao, Baptiste Pauget, Marc Pouzet |
| 2023 | Speeding up Static Analysis with the Split Operator. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. | Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl |
| 2022 | Differential cost analysis with simultaneous potentials and anti-potentials. | Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
| 2022 | Synthesizing analytical SQL queries from computation demonstration. | Xiangyu Zhou, Rastislav Bodk, Alvin Cheung, Chenglong Wang |
| 2022 | Low-latency, high-throughput garbage collection. | Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley |
| 2022 | Karp: a language for NP reductions. | Chenhao Zhang, Jason D. Hartline, Christos Dimoulas |
| 2022 | Verifying optimizations of concurrent programs in the promising semantics. | Junpeng Zha, Hongjin Liang, Xinyu Feng |
| 2022 | PDL: a high-level hardware design language for pipelined processors. | Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers |
| 2022 | DISTAL: the distributed tensor algebra compiler. | Rohan Yadav, Alex Aiken, Fredrik Kjolstad |
| 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 | A systematic evaluation of large language models of code. | Frank F. Xu, Uri Alon, Graham Neubig, Vincent Josua Hellendoorn |