POPL 2020 (series) / VMCAI 2020 (series) /
VMCAI 2020 Program
This is the VMCAI 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 19 JanDisplayed time zone: Saskatchewan, Central America change
Sun 19 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 60mTalk | The Siren Song of Temporal Synthesis VMCAI Moshe Vardi Rice University |
10:30 - 12:30 | |||
10:30 30mTalk | Witnessing Secure Compilation VMCAI | ||
11:00 30mTalk | BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results VMCAI Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Luca Olivieri JuliaSoft SRL, Fausto Spoto U. Verona | ||
11:30 30mCoffee break | Mini Break VMCAI | ||
12:00 30mTalk | Fixing Code That Explodes Under Symbolic Evaluation VMCAI Sorawee Porncharoenwase University of Washington, James Bornholt University of Texas at Austin, Emina Torlak University of Washington |
14:00 - 15:05 | |||
14:00 65mTalk | Safety and Robustness for Deep Learning with Provable Guarantees VMCAI Marta Kwiatkowska University of Oxford |
15:35 - 17:45 | |||
15:35 32mTalk | The Correctness of a Code Generator for a Functional Language VMCAI | ||
16:07 32mTalk | Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification VMCAI Jack Garzella University of Utah, Marek S. Baranowski University of Utah, Shaobo He University of Utah, Zvonimir Rakamaric University of Utah | ||
16:40 32mCoffee break | Mini Break VMCAI | ||
17:12 32mTalk | Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction VMCAI Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv university |
Mon 20 JanDisplayed time zone: Saskatchewan, Central America change
Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 60mTalk | Model Checking for Safe Autonomy VMCAI Rajeev Alur University of Pennsylvania |
10:30 - 12:30 | |||
10:30 30mResearch paper | A Systematic Approach to Abstract Interpretation of Program Transformations VMCAI Pre-print | ||
11:00 30mTalk | Sharing Ghost Variables in a Collection of Abstract Domains VMCAI | ||
11:30 30mCoffee break | Mini Break VMCAI | ||
12:00 30mTalk | Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Roman Manevich Mellanox Technologies, Noam Rinetzky Tel Aviv University |
14:00 - 15:05 | |||
14:00 32mTalk | Synthesizing Environment Invariants for Modular Hardware Verification VMCAI Hongce Zhang Princeton University, Weikun Yang Princeton University, Grigory Fedyukovich Florida State University, Aarti Gupta Princeton University, Sharad Malik Princeton University | ||
14:32 32mTalk | Systematic Classification of Attackers via Bounded Model Checking VMCAI Eric Rothstein-Morris Singapore University of Technology and Design, Jun Sun Singapore Management University, Singapore, Sudipta Chattopadhyay Singapore University of Technology and Design |
15:35 - 17:45 | |||
15:35 32mTalk | Cheap CTL Compassion in NuSMV VMCAI Daniel Hausmann Friedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz Litak FAU Erlangen-Nuremberg, INF 8, Christoph Rauch FAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias Zinner FAU Erlangen-Nürnberg | ||
16:07 32mTalk | A Cooperative Parallelization Approach for Property-Directed k-Induction VMCAI Martin Blicha Università della Svizzera italiana, Antti Hyvärinen Università della Svizzera Italiana, Matteo Marescotti Università della Svizzera Italiana, Natasha Sharygina USI Lugano, Switzerland | ||
16:40 32mCoffee break | Mini Break VMCAI | ||
17:12 32mTalk | Generalized Property-Directed Reachability for Hybrid Systems VMCAI Link to publication Pre-print |
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 30mTalk | How to Win First-Order Safety Games VMCAI Helmut Seidl Technische Universität München, Christian Müller Technical University of Munich, Bernd Finkbeiner Saarland University | ||
09:30 30mTalk | Improving Parity Game Solvers with Justifications VMCAI Ruben Lapauw Katholieke Universiteit Leuven, Maurice Bruynooghe Katholieke Universiteit Leuven, Marc Denecker Katholieke Universiteit Leuven |
10:30 - 12:30 | |||
10:30 30mTalk | Language Inclusion for Finite Prime Event Structures VMCAI Andreas Fellner AIT - Austrian Institute of Technology, Thorsten Tarrach Austrian Institute of Technology, Georg Weissenbacher Technische Universität Wien | ||
11:00 30mTalk | Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI Swen Jacobs CISPA Helmholtz Center for Information Security, Mouhammad Sakr Saarland University, Martin Zimmermann University of Liverpool | ||
11:30 30mCoffee break | Mini Break VMCAI | ||
12:00 30mTalk | Solving LIA* Using Approximations VMCAI Maxwell Levatich Yale, Nikolaj Bjørner Microsoft Research, Ruzica Piskac Yale University, USA, Sharon Shoham Tel Aviv university |
14:00 - 15:05 | |||
14:00 32mTalk | Formalizing and Checking Multilevel Consistency VMCAI Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea IRIF, University Paris Diderot & CNRS, Madhavan Mukund Chennai Mathematical Institute, Gautham Shenoy R Chennai Mathematical Institute, S.P. Suresh Chennai Mathematical Institute | ||
14:32 32mTalk | Practical Abstractions for Automated Verification of Shared-Memory Concurrency VMCAI Wytse Oortwijn ETH Zürich, Dilian Gurov KTH Royal Institute of Technology, Marieke Huisman University of Twente |
15:35 - 17:45 | |||
15:35 2h10mOther | Panel "The Future of Software Verification" at VMCAI VMCAI Lenore Zuck UIC, Michael Whalen Amazon Web Services and the University of Minnesota, Natarajan Shankar SRI International, USA, Andreas Podelski University of Freiburg, Germany, Dirk Beyer LMU Munich |