🏆 2026Distinguished Paper Award
Complete Local Reasoning About Parameterized Programs Over Topologies
Ruotong Cheng; Azadeh Farzan
🏆 2026Distinguished Paper Award
Fast Obligation Translation and Synthesis
Alexandre Duret-Lutz; Giuseppe De Giacomo; Marcin Jurdzinski; Nir Piterman; Moshe Y. Vardi; Shufang Zhu
🏆 2026Distinguished Paper Award
Satisfiability Modulo Extensional Constant Arrays
Mathias Preiner; Aina Niemetz; Clark Barrett
🏆 2026Distinguished Paper Award
Mallob: Scalable Automated Reasoning On Demand
Dominik Schreiber; Niccolò Rigi-Luperti; Peter Sanders
🏆 2026Distinguished Paper Award
Modular Reasoning about Object Relations
Micha Greutmann; Marco Eilers; Peter Müller
🏆 2026Distinguished Paper Award
Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean
Vladimir Gladshtein; Vitaly Kurin; Yueyang Feng; Dipesh Kafle; George Pîrlea; Qiyuan Zhao; Ilya Sergey
🏆 2026Distinguished Paper Award
Liveness Proofs for Hardware Model Checking
Nils Froleyks; Emily Yu; Bart Bogaerts; Armin Biere; Keijo Heljanko
🏆 2026Distinguished Paper Award
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
Joe Hattori; Naoki Kobayashi; Ken Sakayori