POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Boston Park Plaza /

Room information: Arlington

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
16:00 - 18:00
SolversVMCAI at Arlington
Chair(s): Aws Albarghouthi University of Wisconsin-Madison
16:00
30m
Talk
Solving Constrained Horn Clauses over Algebraic Data Types
VMCAI
Lucas Zavalia Florida State University Tallahassee, Lidiia Chernigovskaia , Grigory Fedyukovich Florida State University
16:30
30m
Talk
 Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
VMCAI
Nikolaj Bjørner Microsoft Research, Clemens Eisenhofer , Laura Kovács TU Wien
17:00
30m
Talk
CosySEL: Improving SAT Solving Using Local Symmetries
VMCAI
Sabrine Saouli , Souheib Baarir , Claude Dutheillet , Jo Devriendt

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
11:00 - 12:30
Neural networks and Abstract InterpretationVMCAI at Arlington
Chair(s): Grigory Fedyukovich Florida State University
11:00
15m
Talk
Maximal Robust Neural Network Specifications via Oracle-guided Numerical OptimizationRecorded
VMCAI
Anan Kabaha Technion, Israel Institute of Technology, Dana Drachsler Cohen Technion
11:15
15m
Talk
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case StudyRecorded
VMCAI
Sumana Ghosh , Soham Banerjee , Swarup Mohalik , Ansuman Banerjee
11:30
30m
Talk
A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
VMCAI
Jerome Feret INRIA Paris, Albin Salazar INRIA/CNRS/ENS/PSL*
12:00
30m
Talk
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
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Arlington

VMCAI

Keynote and contribution paper

VMCAI

Static Analysis

VMCAI

Keynote and best paper

VMCAI

Solvers

Tue 17 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Arlington

VMCAI

Keynote and contribution paper

VMCAI

Neural networks and Abstract Interpretation

VMCAI

Keynote and contribution paper

VMCAI

Model Checking

Mon 16 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Arlington
VMCAI
Towards a Theoretical Understanding of Property-Directed Reachability
09:00 - 10:00
VMCAI
Distributing and Parallelizing Non-canonical Loops
10:00 - 10:30
VMCAI
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
11:00 - 11:30
VMCAI
Result Invalidation for Incremental Modular Analyses
11:30 - 12:00
VMCAI
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
12:00 - 12:30
VMCAI
What Can Program Analysis Say About Data Bias?
14:00 - 15:00
VMCAI
Bayesian parameter estimation with guarantees via interval analysis and ...
15:00 - 15:30
VMCAI
Solving Constrained Horn Clauses over Algebraic Data Types
16:00 - 16:30
VMCAI
Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
16:30 - 17:00
VMCAI
CosySEL: Improving SAT Solving Using Local Symmetries
17:00 - 17:30

Tue 17 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Arlington
VMCAI
Differential Verification of Deep Neural Networks
09:00 - 10:00
VMCAI
ARENA: Enhancing Abstract Refinement for Neural Network Verification
10:00 - 10:30
VMCAIRecorded
Maximal Robust Neural Network Specifications via Oracle-guided Numerica ...
11:00 - 11:15
VMCAIRecorded
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case ...
11:15 - 11:30
VMCAI
A generic framework to coarse-grain stochastic reaction networks by Abs ...
11:30 - 12:00
VMCAI
Sound Symbolic Execution via Abstract Interpretation and its Applicatio ...
12:00 - 12:30
VMCAI
Verifying, Inferring and Exploiting Code Commutativity
14:00 - 15:00
VMCAIRecorded
A Pragmatic Approach to Stateful Partial Order Reduction
16:00 - 16:15
VMCAIRecorded
StaticPersist : Compiler Support for PMEM Programming
16:15 - 16:30
VMCAI
Compositional Verification of Stigmergic Collective Systems
16:30 - 17:00
VMCAI
Synthesizing History and Prophecy Variables for Symbolic Model Checking
17:00 - 17:30