VenueBoston Park Plaza
Room nameArlington
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Keynote and contribution paper VMCAI at Arlington
Chair(s): Michael Emmi Amazon Web Services
09:00
60m
Keynote
Towards a Theoretical Understanding of Property-Directed Reachability
VMCAI
Sharon Shoham Tel Aviv University
10:00
30m
Talk
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
Static AnalysisVMCAI at Arlington
Chair(s): Xavier Rival Inria; ENS; CNRS; PSL University
11:00
30m
Talk
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
VMCAI
Amir Kafshdar Goharshady IST Austria, Austria, Ahmed Khaled Zaher HKUST
11:30
30m
Talk
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
30m
Talk
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
VMCAI
Nicolas Berthier OCamlPro, Narges Khakpour Linnaeus University
14:00 - 15:30
Keynote and best paperVMCAI at Arlington
Chair(s): Michael Emmi Amazon Web Services
14:00
60m
Keynote
What Can Program Analysis Say About Data Bias?
VMCAI
Aws Albarghouthi University of Wisconsin-Madison
15:00
30m
Talk
Bayesian parameter estimation with guarantees via interval analysis and simulation
VMCAI
Luisa Collodi University of Florence

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Keynote and contribution paperVMCAI at Arlington
Chair(s): Michael Emmi Amazon Web Services
09:00
60m
Keynote
Differential Verification of Deep Neural Networks
VMCAI
Chao Wang University of Southern California
10:00
30m
Talk
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
14:00 - 15:30
Keynote and contribution paperVMCAI at Arlington
Chair(s): Michael Emmi Amazon Web Services
14:00
60m
Keynote
Verifying, Inferring and Exploiting Code Commutativity
VMCAI
Eric Koskinen Stevens Institute of Technology
16:00 - 17:30
Model CheckingVMCAI at Arlington
Chair(s): Eric Koskinen Stevens Institute of Technology
16:00
15m
Talk
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
15m
Talk
StaticPersist : Compiler Support for PMEM ProgrammingRecorded
VMCAI
Sorav Bansal IIT Delhi and CompilerAI Labs
16:30
30m
Talk
Compositional Verification of Stigmergic Collective Systems
VMCAI
Luca Di Stefano University of Gothenburg, Sweden, Frederic Lang
17:00
30m
Talk
Synthesizing History and Prophecy Variables for Symbolic Model Checking
VMCAI
Cole Vick , Kenneth L. McMillan University of Texas at Austin

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change