| 2024 | {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming. | Quan Zhou, Sixuan Dang, Danfeng Zhang |
| 2024 | Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. | David Young, Ziyi Yang, Ilya Sergey, Alex Potanin |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2024 | Type Tailoring. | Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman |
| 2024 | Inductive Predicate Synthesis Modulo Programs. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2024 | Failure Transparency in Stateful Dataflow Systems. | Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller |
| 2024 | Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. | Martin Vassor, Nobuko Yoshida |
| 2024 | Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. | Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao |
| 2024 | Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. | Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni |
| 2024 | Java Bytecode Normalization for Code Similarity Analysis. | Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden |
| 2024 | Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. | Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden |
| 2024 | Partial Redundancy Elimination in Two Iterative Data Flow Analyses. | Reshma Roy, Sreekala S., Vineeth Paleri |
| 2024 | Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. | Amos Robinson, Alex Potanin |
| 2024 | Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. | Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung |
| 2024 | Ozone: Fully Out-of-Order Choreographies. | Dan Plyukhin, Marco Peressotti, Fabrizio Montesi |
| 2024 | Verifying Lock-Free Search Structure Templates. | Nisarg Patel, Dennis Shasha, Thomas Wies |
| 2024 | Generalizing Shape Analysis with Gradual Types. | Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg |
| 2024 | Static Basic Block Versioning. | Olivier Melanon, Marc Feeley, Manuel Serrano |
| 2024 | The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. | Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek |
| 2024 | Matching Plans for Frame Inference in Compositional Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Petar Maksimovic, Philippa Gardner |
| 2024 | Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner |
| 2024 | InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference. | Senxi Li, Tetsuro Yamazaki, Shigeru Chiba |
| 2024 | Constrictor: Immutability as a Design Concept. | Elad Kinsbruner, Shachar Itzhaky, Hila Peleg |
| 2024 | Learning Gradual Typing Performance. | Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He |
| 2024 | Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization. | Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, Hanspeter Mssenbck |