| 2024 | Fearless Asynchronous Communications with Timed Multiparty Session Protocols. | Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida |
| 2024 | A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction. | Dongjie He, Jingbo Lu, Jingling Xue |
| 2024 | Fair Join Pattern Matching for Actors. | Philipp Haller, Ayman Hussein, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2024 | Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. | Cormac Flanagan, Stephen N. Freund |
| 2024 | Rose: Composable Autodiff for the Interactive Web. | Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine |
| 2024 | The Performance Effects of Virtual-Machine Instruction Pointer Updates. | M. Anton Ertl, Bernd Paysan |
| 2024 | Pure Methods for roDOT. | Vlastimil Dort, Yufeng Li, Ondrej Lhotk, Pavel Parzek |
| 2024 | Mutation-Based Lifted Repair of Software Product Lines. | Aleksandar S. Dimovski |
| 2024 | Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. | Farzaneh Derakhshan, Stephanie Balzer, Yue Yao |
| 2024 | Indirection-Bounded Call Graph Analysis. | Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Mller |
| 2024 | A Language-Based Version Control System for Python. | Lus Carvalho, Joo Costa Seco |
| 2024 | Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines. | Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan |
| 2024 | HOBBIT: Hashed OBject Based InTegrity. | Matthias Bernad, Stefan Brunthaler |
| 2024 | Cross Module Quickening - The Curious Case of C Extensions. | Felix Berlakovich, Stefan Brunthaler |
| 2024 | Behavioural Up/down Casting For Statically Typed Languages. | Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara |
| 2024 | Dynamically Generating Callback Summaries for Enhancing Static Analysis. | Steven Arzt, Marc Miltenberger, Julius Numann |
| 2024 | A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. | Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann |
| 2024 | A Sound Type System for Secure Currency Flow. | Luca Aceto, Daniele Gorla, Stian Lybech |
| 2024 | Runtime Instrumentation for Reactive Components. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2024 | Qafny: A Quantum-Program Verifier. | Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu |
| 2024 | Information Flow Control in Cyclic Process Networks. | Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer |
| 2024 | Compiling with Arrays. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2023 | Do Machine Learning Models Produce TypeScript Types That Type Check? | Ming-Ho Yee, Arjun Guha |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Synthesizing Conjunctive Queries for Code Search. | Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |