| 2025 | Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings Oleg Kiselyov |
| 2024 | A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. Thi Thu Ha Doan, Peter Thiemann |
| 2024 | Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. Bohdan Liesnikov, Jesper Cockx |
| 2024 | Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North |
| 2024 | Effective Search Space Pruning for Testing Deep Neural Networks. Bala Rangayah, Eugene Sng, Minh-Thai Trinh |
| 2024 | Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses. Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura |
| 2024 | Explaining Explanations in Probabilistic Logic Programming. Germán Vidal |
| 2024 | Extending the Quantitative Pattern-Matching Paradigm. Sandra Alves, Delia Kesner, Miguel Ramos |
| 2024 | Generic Reasoning of the Locally Nameless Representation. Yicheng Ni, Yuting Wang |
| 2024 | Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions. Michael Hanus |
| 2024 | Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2024 | Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures. Vítor Fernandes, Marc de Visme, Benoît Valiron |
| 2024 | OBRA: Oracle-Based, Relational, Algorithmic Type Verification. Elizaveta Vasilenko, Niki Vazou, Gilles Barthe |
| 2024 | On Computational Indistinguishability and Logical Relations. Ugo Dal Lago, Zeinab Galal, Giulia Giusti |
| 2024 | Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | Quantum Programming Without the Quantum Physics. Jun Inoue |
| 2024 | Random-Access Lists, from EE to FP. Titouan Quennet, Pierre-Évariste Dagand |
| 2024 | Relative Completeness of Incorrectness Separation Logic. Yeonseok Lee, Koji Nakazawa |
| 2024 | Type-Based Verification of Connectivity Constraints in Lattice Surgery. Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi |