POPL 2026 (series) / VMCAI 2026 (series) /
VMCAI 2026 Program
This is the VMCAI 2026 program - see the full program for POPL 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 60mKeynote | Current State of the Industrial-Strength Infer Static Analysis Platform VMCAI 2026 David Pichardie Meta | ||
10:00 30mTalk | Try-Mopsa: Relational Static Analysis in Your Pocket VMCAI 2026 Raphaël Monat Inria and University of Lille Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | Data Race Detection by Digest-Driven Abstract Interpretation VMCAI 2026 Pre-print | ||
11:30 30mTalk | Termination Resilience Static Analysis VMCAI 2026 Naïm Moussaoui Remil Inria & ENS | PSL, Paris, France, Caterina Urban Inria Paris - ENS - Université PSL | ||
12:00 30mTalk | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026 Andreas Lindner Uppsala universitet, Karl Palmskog KTH Royal Institute of Technology, Scott Constable Intel Corporation, Mads Dam KTH, Roberto Guanciale KTH Royal Institute of Technology, Hamed Nemati KTH Royal Institute of Technology | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Understanding Transformers through the Lens of Logic and Automata VMCAI 2026 Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS | ||
15:00 30mTalk | Proof Minimization in Neural Network Verification VMCAI 2026 Omri Isac The Hebrew University of Jerusalem, Idan Refaeli Hebrew University of Jerusalem, Haoze Wu Stanford University, Clark Barrett Stanford University, Guy Katz The Hebrew University of Jerusalem | ||
16:00 - 17:30 | Models 1VMCAI 2026 at Horizons Chair(s): Mihaela Sighireanu University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF | ||
16:00 30mTalk | Verification of Generic VHDL Designs and Their Translation to Rocq VMCAI 2026 Ocan Sankur University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoît Boyer Mitsubishi Electric R&D Centre Europe, Rennes, France, Florian Faissole Mitsubishi Electric R&D Centre Europe | ||
16:30 30mTalk | A Formal Executable Semantics of PROMELADistinguished Paper VMCAI 2026 | ||
17:00 30mTalk | Efficient Discovery of Actual Causality in Stochastic Systems VMCAI 2026 Arshia Rafieioskouei Michigan State University, Kenneth Rogale Michigan State University, Borzoo Bonakdarpour Michigan State University | ||
17:30 - 17:45 | |||
Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 60mKeynote | TypedC: Spatial Memory Safety for Low Level Programs by Abstract Interpretation VMCAI 2026 Mihaela Sighireanu University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF | ||
10:00 30mTalk | Input-based Three-Valued Abstraction Refinement VMCAI 2026 | ||
11:00 - 12:30 | |||
11:00 30mTalk | Multi-variable Quantification of BDDs in External Memory using Nested Sweeping VMCAI 2026 | ||
11:30 30mTalk | Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver VMCAI 2026 Bruno Andreotti Universidade Federal de Minas Gerais, Haniel Barbosa Universidade Federal de Minas Gerais | ||
12:00 30mTalk | SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation VMCAI 2026 Junjie Meng School of Computer Science and Technology, Tongji University, Jie An Institute of Software Chinese Academy of Sciences, Yong Li Institute of Software, Chinese Academy of Sciences, Andrea Turrini Institute of Software, Chinese Academy of Sciences, Miaomiao Zhang School of Computer Science and Technology, Tongji University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Atomic Gliders and Cellular Automata as Language Generators VMCAI 2026 Dana Fisman Ben-Gurion University, Noa Izsak CISPA Helmholtz Center for Information Security, Germany | ||
14:30 30mTalk | Reachability in multi-agent transfer systems VMCAI 2026 Nathalie Bertrand INRIA Rennes, Loic Helouet INRIA, Engel Lefaucheux Université de Lorraine; CNRS; Inria; LORIA, Luca Paparazzo Inria, IRISA, Université de Rennes | ||
15:00 30mTalk | A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models VMCAI 2026 Rui Guo Zhejiang Sci-Tech University, Yang Li Zhejiang Sci-Tech University, Xiuqing Cao Zhejiang Sci-Tech University, Wang Lin | ||
16:00 - 17:30 | Quantum and Probabilistic VerificationVMCAI 2026 at Horizons Chair(s): Jyun-Ao Lin National Taipei University of Technology | ||
16:00 30mTalk | Efficiently Verifying Quantum Programs with Few T Gates VMCAI 2026 | ||
16:30 30mTalk | Finding Photonics Circuits via δ-weakening SMTDistinguished Paper VMCAI 2026 | ||
17:00 30mTalk | Probabilistic Verification for Modular Network-on-Chip Systems VMCAI 2026 Nick Waddoups nick.waddoups@usu.edu, Jonah Boe Hill Air Force Base, Utah, Arnd Hartmanns University of Twente, Prabal Basu Utah State University, Sanghamitra Roy Utah State University, Koushik Chakraborty Utah State University, Zhen Zhang Utah State University | ||