POPL 2023 (series) / VMCAI 2023 (series) /
VMCAI 2023 Program
This is the VMCAI 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 JanDisplayed time zone: Eastern Time (US & Canada) change
Mon 16 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 60mKeynote | Towards a Theoretical Understanding of Property-Directed Reachability VMCAI Sharon Shoham Tel Aviv University | ||
10:00 30mTalk | Distributing and Parallelizing Non-canonical Loops VMCAI Clément Aubert Augusta University, Thomas Rubiano LIPN – UMR 7030 Université Sorbonne Paris Nord, Neea Rusch Augusta University, Thomas Seiller CNRS |
11:00 - 12:30 | |||
11:00 30mTalk | Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth VMCAI | ||
11:30 30mTalk | Result Invalidation for Incremental Modular Analyses VMCAI Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel | ||
12:00 30mTalk | Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference VMCAI |
14:00 - 15:30 | |||
14:00 60mKeynote | What Can Program Analysis Say About Data Bias? VMCAI Aws Albarghouthi University of Wisconsin-Madison | ||
15:00 30mTalk | Bayesian parameter estimation with guarantees via interval analysis and simulation VMCAI Luisa Collodi University of Florence |
16:00 - 18:00 | |||
16:00 30mTalk | Solving Constrained Horn Clauses over Algebraic Data Types VMCAI Lucas Zavalia Florida State University Tallahassee, Lidiia Chernigovskaia , Grigory Fedyukovich Florida State University | ||
16:30 30mTalk | Satisfiability Modulo Custom Theories in Z3 (Tool Paper) VMCAI | ||
17:00 30mTalk | CosySEL: Improving SAT Solving Using Local Symmetries VMCAI |
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 60mKeynote | Differential Verification of Deep Neural Networks VMCAI Chao Wang University of Southern California | ||
10:00 30mTalk | ARENA: Enhancing Abstract Refinement for Neural Network Verification VMCAI Yuyi Zhong , Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore |
11:00 - 12:30 | Neural networks and Abstract InterpretationVMCAI at Arlington Chair(s): Grigory Fedyukovich Florida State University | ||
11:00 15mTalk | Maximal Robust Neural Network Specifications via Oracle-guided Numerical OptimizationRecorded VMCAI | ||
11:15 15mTalk | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case StudyRecorded VMCAI | ||
11:30 30mTalk | A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation VMCAI | ||
12:00 30mTalk | Sound Symbolic Execution via Abstract Interpretation and its Application to Security VMCAI Xavier Rival Inria; ENS; CNRS; PSL University, Ignacio Tiraboschi Inria, France / ENS, France, Tamara Rezk INRIA |
14:00 - 15:30 | |||
14:00 60mKeynote | Verifying, Inferring and Exploiting Code Commutativity VMCAI Eric Koskinen Stevens Institute of Technology |
16:00 - 17:30 | |||
16:00 15mTalk | A Pragmatic Approach to Stateful Partial Order ReductionRecorded VMCAI Berk Cirisci IRIF, University Paris Diderot and CNRS, France, Constantin Enea Ecole Polytechnique / LIX / CNRS, Azadeh Farzan University of Toronto, Suha Orhun Mutluergil Sabanci University, Turkey | ||
16:15 15mTalk | StaticPersist : Compiler Support for PMEM ProgrammingRecorded VMCAI Sorav Bansal IIT Delhi and CompilerAI Labs | ||
16:30 30mTalk | Compositional Verification of Stigmergic Collective Systems VMCAI | ||
17:00 30mTalk | Synthesizing History and Prophecy Variables for Symbolic Model Checking VMCAI |