| 2025 | Profile-Guided Field Externalization in an Ahead-Of-Time Compiler. | Sebastian Kloibhofer, Lukas Makor, Peter Hofer, David Leopoldseder, Hanspeter Mssenbck |
| 2025 | Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea). | Vasileios Klimis |
| 2025 | Practical Type-Based Taint Checking and Inference. | Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi |
| 2025 | Contrasting Deadlock-Free Session Processes. | Juan C. Jaramillo, Jorge A. Prez |
| 2025 | Type-Safe and Portable Support for Packed Data (Experience Paper). | Arthur Jamet, Michael Vollmer |
| 2025 | A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework. | Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick |
| 2025 | IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. | Matt Griffin, Brijesh Dongol, Azalea Raad |
| 2025 | FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. | Amber Gorzynski, Alastair F. Donaldson |
| 2025 | Contract Usage and Evolution in Android Mobile Applications. | David R. Ferreira, Alexandra Mendes, Joo F. Ferreira, Carolina Carreira |
| 2025 | Bottom-Up Synthesis of Memory Mutations with Separation Logic. | Kasra Ferdowsi, Hila Peleg |
| 2025 | Event Race Detection for Node.js Using Delay Injections. | Andr Takeshi Endo, Anders Mller |
| 2025 | An Effectful Object Calculus. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | Monadic Type-And-Effect Soundness. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). | Toms Dack, Toms Vojnar |
| 2025 | Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). | Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, Joo Calssio, Rodrigo Bonifcio, Krishna Narasimhan, Mira Mezini, Mrcio Ribeiro |
| 2025 | Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories. | Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie |
| 2025 | Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. | Pedro Carrott, Sacha-lie Ayoun, Azalea Raad |
| 2025 | Ensuring Convergence and Invariants Without Coordination. | Dina Borrego, Nuno M. Preguia, Elisa Gonzalez Boix, Carla Ferreira |
| 2025 | Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. | Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger |
| 2025 | The Algebra of Patterns. | David Binder, Lean Ermantraut |
| 2025 | GSOHC: Global Synchronization Optimization in Heterogeneous Computing. | Soumik Kumar Basu, Jyothi Vedurada |
| 2025 | A Theory of (Linear-Time) Timed Monitors. | Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza |
| 2025 | Spegion: Implicit and Non-Lexical Regions with Sized Allocations. | Jack Hughes, Michael Vollmer, Mark Batty |
| 2025 | Automatic Goal Clone Detection in Rocq. | Ali Ghanbari |
| 2024 | Defining Name Accessibility Using Scope Graphs. | Aron Zwaan, Casper Bach Poulsen |