| 2025 | Specification Inference Modulo Oracles for Database-Backed Web Applications. | Nitesh Trivedi, Subhajit Roy |
| 2025 | ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework. | WenBo Ma, Qingzeng Song, Fei Qiao, Yongjiang Xue, Mingze Sun |
| 2025 | Expressive Power of One-Shot Control Operators and Coroutines. | Kentaro Kobayashi, Yukiyoshi Kameyama |
| 2025 | Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms. | Aman Iftekhar, Rahul Mishra |
| 2025 | Decision Procedure for a Theory of String Sequences. | Denghang Hu, Taolue Chen, Philipp Rmmer, Fu Song, Zhilin Wu |
| 2025 | Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers. | Ryunosuke Endo, Tachio Terauchi |
| 2025 | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. | Alejandro Daz-Caro, Nicolas A. Monzon |
| 2025 | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. | Kinnari Dave, Alejandro Daz-Caro, Vladimir Zamdzhiev |
| 2025 | Fair Termination for Resource-Aware Active Objects. | Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella |
| 2025 | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2025 | A Formal Foundation for Equational Reasoning on Probabilistic Programs. | Reynald Affeldt, Yoshihiro Ishiguro, Zachary Stone |
| 2025 | Positive Sharing and Abstract Machines. | Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu |
| 2025 | Checking Consistency of Event-Driven Traces. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2024 | Type-Based Verification of Connectivity Constraints in Lattice Surgery. | Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi |
| 2024 | Explaining Explanations in Probabilistic Logic Programming. | Germn Vidal |
| 2024 | OBRA: Oracle-Based, Relational, Algorithmic Type Verification. | Elizaveta Vasilenko, Niki Vazou, Gilles Barthe |
| 2024 | Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses. | Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura |
| 2024 | Effective Search Space Pruning for Testing Deep Neural Networks. | Bala Rangayah, Eugene Sng, Minh-Thai Trinh |
| 2024 | Random-Access Lists, from EE to FP. | Titouan Quennet, Pierre-variste Dagand |
| 2024 | Generic Reasoning of the Locally Nameless Representation. | Yicheng Ni, Yuting Wang |
| 2024 | Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. | Bohdan Liesnikov, Jesper Cockx |
| 2024 | Relative Completeness of Incorrectness Separation Logic. | Yeonseok Lee, Koji Nakazawa |
| 2024 | On Computational Indistinguishability and Logical Relations. | Ugo Dal Lago, Zeinab Galal, Giulia Giusti |
| 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 | Quantum Programming Without the Quantum Physics. | Jun Inoue |