| 2024 | Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. | Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White |
| 2024 | Disjoint Polymorphism with Intersection and Union Types. | Baber Rehman, Bruno C. d. S. Oliveira |
| 2024 | Abstract Interpretation of Java Bytecode in Sturdy. | Stefan Marx, Sebastian Erdweg |
| 2024 | Towards a Model Checker for Python: pymodcheck. | Dara MacConville, Rosemary Monahan |
| 2024 | Coeffects for MiniJava: Cf-Mj. | Paola Giannini, Giulio Duso |
| 2024 | Incrementalizing Polynomial Functors. | Timon Bhler, David Richter, Mira Mezini |
| 2024 | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2024 | Dafny vs. Dala: Experience with Mechanising Language Design. | James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer |
| 2023 | Correctness-by-Construction Meets Refinement Types. | Baber Rehman |
| 2023 | Verifying C++ Dynamic Binding. | Niels Mommen, Bart Jacobs |
| 2023 | Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. | Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck |
| 2023 | Constructing Structured SSA from FJ. | Kenny Zhuo Ming Lu, Daniel Yu Hian Low |
| 2023 | Towards Verified Scalable Parallel Computing with Coq and Spark. | Frdric Loulergue, Jolan Philippe |
| 2023 | Dependency-Free Capture Tracking. | Edward Lee, Kavin Satheeskumar, Ondrej Lhotk |
| 2023 | Points-to Analysis for Context-Oriented JavaScript Programs. | Sergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicols Cardozo |
| 2023 | Using Rewrite Strategies for Efficient Functional Automatic Differentiation. | Timon Bhler, David Richter, Mira Mezini |
| 2023 | Gradual Guarantee for FJ with lambda-Expressions. | Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido |
| 2023 | Runtime Verification of Hash Code in Mutable Classes. | Davide Ancona, Angelo Ferrando, Viviana Mascardi |
| 2022 | Using Functional Reactive Programming to Define Safe Actor Systems. | Nick Webster, Marco Servetto, Michael Homer |
| 2022 | A Graph-Based Formal Semantics of Reactive Programming from First Principles. | Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter |
| 2022 | Automated Reasoning Repair. | Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok |
| 2022 | Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. | Nikolai Kudasov, Violetta Sim |
| 2022 | Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language. | David R. Cok |
| 2022 | On the Need for a Common API for Abstract Domains of Object-Oriented Programs. | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
| 2022 | Rusty Links in Local Chains✱. | James Noble, Julian Mackay, Tobias Wrigstad |