Program - VMCAI

Filter

Sun 17 Jan

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

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

Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.

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

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 JhalaUniversity of California, San Diego

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 DarulovaMPI-SWS, Germany

14:00 - 14:30
Talk

Program Analysis with Local Policy Iteration

Egor Karpenkov, David MonniauxCNRS, VERIMAG, 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 MonniauxCNRS, VERIMAG, 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 YahavTechnion

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. LeinoMicrosoft Research

09:00 - 10:00
Talk

Ironclad - Full Verification of Complex Systems

Bryan ParnoMicrosoft Research

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

10:30 - 11:00
Talk

Abstract Interpretation with Infinitesimals

Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo

11:00 - 11:30
Talk

Lipschitz Robustness of Timed I/O Systems

Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria

11:30 - 12:00
Talk

A method for invariant generation for polynomial continuous systems

Andrew Sogokon, Khalil GhorbalCarnegie Mellon University, Paul Jackson, André Platzer

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

14:00 - 14:30
Talk

Hybrid Analysis for Partial Order Reduction of Programs with Arrays

Pavel ParizekCharles University in Prague

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. HenzingerIST Austria

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 ChangUniversity of Colorado Boulder

09:00 - 10:00
Talk

Viper - A Verification Infrastructure for Permission-based Reasoning

Peter MüllerETH Zurich

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 WolffFraunhofer ITWM and TU Kaiserslautern

11:00 - 11:30
Talk

A program logic for C11 memory fences

Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany

11:30 - 12:00
Talk

From Low Level Pointers to High Level Containers

Kamil Dudka, Lukas Holik, Petr Peringer, Tomas VojnarBrno University of Technology

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

14:00 - 14:30
Talk

Regular Symmetry Patterns

Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, 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 SamantaIST Austria

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 KroeningUniversity of Oxford, 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

VMCAI Program

Sun 17 Jan

Mon 18 Jan

Tue 19 Jan

Sun 17 Jan 2016

VMCAI

VMCAI

VMCAI

VMCAI

VMCAI

Mon 18 Jan 2016

VMCAI

VMCAI

VMCAI

VMCAI

Tue 19 Jan 2016

VMCAI

VMCAI

VMCAI

VMCAI

Sun 17 Jan 2016

Mon 18 Jan 2016

Tue 19 Jan 2016

Tracks