Program - VMCAI

Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Filter

Sun 17 Jan

08:50 - 09:00: VMCAI - Welcome at Room St Petersburg I
Chair(s): K. Rustan M. Leino

09:00 - 10:00: VMCAI - Invited Talk I at Room St Petersburg I
Chair(s): Sharon Shoham

09:00 - 10:00
Talk

Automating Abstract Interpretation

10:30 - 12:00: VMCAI - Abstract Interpretation at Room St Petersburg I
Chair(s): Peter Müller

10:30 - 11:00
Talk

An Abstract Domain of Uninterpreted Functions

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter Stuckey

11:00 - 11:30
Talk

Predicate Abstraction for Linked Data Structures

Alexander Bakst, Ranjit Jhala

11:30 - 12:00
Talk

Property Directed Abstract Interpretation

Noam Rinetzky, Sharon Shoham

14:00 - 15:30: VMCAI - Abstraction I at Room St Petersburg I
Chair(s): Eva Darulova

14:00 - 14:30
Talk

Program Analysis with Local Policy Iteration

Egor Karpenkov, David Monniaux, Philipp Wendler

14:30 - 15:00
Talk

Lazy Constrained Monotonic Abstraction

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

15:00 - 15:30
Talk

Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michael Perin

16:00 - 17:00: VMCAI - Abstraction II at Room St Petersburg I
Chair(s): David Pichardie

16:00 - 16:30
Talk

D3 : Data-Driven Disjunctive Abstraction

Hila Peleg, Sharon Shoham, Eran Yahav

16:30 - 17:00
Talk

Exact Heap Summaries for Symbolic Execution

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Mon 18 Jan

09:00 - 10:00: VMCAI - Invited Talk II at Room St Petersburg I
Chair(s): K. Rustan M. Leino

09:00 - 10:00
Talk

Ironclad - Full Verification of Complex Systems

10:30 - 12:00: VMCAI - Hybrid and Timed Systems at Room St Petersburg I
Chair(s): David Monniaux

10:30 - 11:00
Talk

Abstract Interpretation with Infinitesimals

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

11:00 - 11:30
Talk

Lipschitz Robustness of Timed I/O Systems

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

11:30 - 12:00
Talk

A method for invariant generation for polynomial continuous systems

Andrew Sogokon, Khalil Ghorbal, Paul Jackson, André Platzer

14:00 - 15:30: VMCAI - Dynamic and Static Verification at Room St Petersburg I
Chair(s): Aarti Gupta

14:00 - 14:30
Talk

Hybrid Analysis for Partial Order Reduction of Programs with Arrays

14:30 - 15:00
Talk

Cloud-Based Verification of Concurrent Software

Gerald Holzmann

15:00 - 15:30
Talk

Abstraction-driven Concolic Testing

Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger

16:00 - 17:00: VMCAI - Probabilistic Systems at Room St Petersburg I
Chair(s): Paul Jackson

16:00 - 16:30
Talk

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

Vahid Hashemi, Holger Hermanns, Lei Song

16:30 - 17:00
Talk

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye, Didier Lime, Laure Petrucci

Tue 19 Jan

09:00 - 10:00: VMCAI - Invited Talk III at Room St Petersburg I
Chair(s): Bor-Yuh Evan Chang

09:00 - 10:00
Talk

Viper - A Verification Infrastructure for Permission-based Reasoning

10:30 - 12:00: VMCAI - Concurrent Programs at Room St Petersburg I
Chair(s): Noam Rinetzky

10:30 - 11:00
Talk

Pointer Race Freedom

Frédéric Haziza, Lukas Holik, Roland Meyer, Sebastian Wolff

11:00 - 11:30
Talk

A program logic for C11 memory fences

Marko Doko, Viktor Vafeiadis

11:30 - 12:00
Talk

From Low Level Pointers to High Level Containers

Kamil Dudka, Lukas Holik, Petr Peringer, Tomas Vojnar

14:00 - 15:30: VMCAI - Parameterized and Component-Based Systems at Room St Petersburg I
Chair(s): Arie Gurfinkel

14:00 - 14:30
Talk

Regular Symmetry Patterns

Anthony Widjaja Lin, Truong Khanh Nguyen, Philipp Ruemmer, Jun Sun

14:30 - 15:00
Talk

Tight Cutoffs for Guarded Protocols with Fairness

Simon Außerlechner, Swen Jacobs, Ayrat Khalimov

15:00 - 15:30
Talk

A General Modular Synthesis Problem for Pushdown Systems

Ilaria De Crescenzo, Salvatore La Torre

16:00 - 17:00: VMCAI - Solver Improvements at Room St Petersburg I
Chair(s): Roopsha Samanta

16:00 - 16:30
Talk

Model Checking with Multi-Threaded IC3 Portfolios

Sagar Chaki, Derrick Karimi

16:30 - 17:00
Talk

Automatic Generation of Propagation Complete SAT Encodings

Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins

Sun 17 Jan 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room St Petersburg I											VMCAI Welcome 08:50 - 09:00		VMCAI Invited Talk I 09:00 - 10:00																		VMCAI Abstract Interpretation 10:30 - 12:00																																										VMCAI Abstraction I 14:00 - 15:30																								VMCAI Abstraction II 16:00 - 17:00

Mon 18 Jan 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room St Petersburg I	VMCAI Invited Talk II 09:00 - 10:00																		VMCAI Hybrid and Timed Systems 10:30 - 12:00																																										VMCAI Dynamic and Static Verification 14:00 - 15:30																								VMCAI Probabilistic Systems 16:00 - 17:00

Tue 19 Jan 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room St Petersburg I	VMCAI Invited Talk III 09:00 - 10:00																		VMCAI Concurrent Programs 10:30 - 12:00																																										VMCAI Parameterized and Component-Based Systems 14:00 - 15:30																								VMCAI Solver Improvements 16:00 - 17:00

Sun 17 Jan 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room St Petersburg I	VMCAI Automating Abstract Interpretation 09:00 - 10:00																		VMCAI An Abstract Domain of Uninterpreted Functions 10:30 - 11:00						VMCAI Predicate Abstraction for Linked Data Structures 11:00 - 11:30						VMCAI Property Directed Abstract Interpretation 11:30 - 12:00																														VMCAI Program Analysis with Local Policy Iteration 14:00 - 14:30						VMCAI Lazy Constrained Monotonic Abstraction 14:30 - 15:00						VMCAI Polyhedral Approximation of Multivariate Polynomials using Handelman’s ... 15:00 - 15:30												VMCAI D3 : Data-Driven Disjunctive Abstraction 16:00 - 16:30						VMCAI Exact Heap Summaries for Symbolic Execution 16:30 - 17:00

Mon 18 Jan 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room St Petersburg I	VMCAI Ironclad - Full Verification of Complex Systems 09:00 - 10:00																		VMCAI Abstract Interpretation with Infinitesimals 10:30 - 11:00						VMCAI Lipschitz Robustness of Timed I/O Systems 11:00 - 11:30						VMCAI A method for invariant generation for polynomial continuous systems 11:30 - 12:00																														VMCAI Hybrid Analysis for Partial Order Reduction of Programs with Arrays 14:00 - 14:30						VMCAI Cloud-Based Verification of Concurrent Software 14:30 - 15:00						VMCAI Abstraction-driven Concolic Testing 15:00 - 15:30												VMCAI Reward-Bounded Reachability Probability for Uncertain Weighted MDPs 16:00 - 16:30						VMCAI Parameter Synthesis for Parametric Interval Markov Chains 16:30 - 17:00

Tue 19 Jan 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room St Petersburg I	VMCAI Viper - A Verification Infrastructure for Permission-based Reasoning 09:00 - 10:00																		VMCAI Pointer Race Freedom 10:30 - 11:00						VMCAI A program logic for C11 memory fences 11:00 - 11:30						VMCAI From Low Level Pointers to High Level Containers 11:30 - 12:00																														VMCAI Regular Symmetry Patterns 14:00 - 14:30						VMCAI Tight Cutoffs for Guarded Protocols with Fairness 14:30 - 15:00						VMCAI A General Modular Synthesis Problem for Pushdown Systems 15:00 - 15:30												VMCAI Model Checking with Multi-Threaded IC3 Portfolios 16:00 - 16:30						VMCAI Automatic Generation of Propagation Complete SAT Encodings 16:30 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format