Program - VMCAI

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

	09:00 - 10:00 Talk		Automating Abstract Interpretation VMCAI Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.

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

	10:30 - 11:00 Talk		An Abstract Domain of Uninterpreted Functions VMCAI Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter Stuckey
	11:00 - 11:30 Talk		Predicate Abstraction for Linked Data Structures VMCAI Alexander Bakst, Ranjit JhalaUniversity of California, San Diego
	11:30 - 12:00 Talk		Property Directed Abstract Interpretation VMCAI Noam Rinetzky, Sharon Shoham

	14:00 - 15:30: Abstraction IVMCAI at Room St Petersburg I Chair(s): Eva DarulovaMPI-SWS, Germany

	14:00 - 14:30 Talk		Program Analysis with Local Policy Iteration VMCAI Egor Karpenkov, David MonniauxCNRS, VERIMAG, Philipp Wendler
	14:30 - 15:00 Talk		Lazy Constrained Monotonic Abstraction VMCAI Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
	15:00 - 15:30 Talk		Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem VMCAI Alexandre Maréchal, Alexis Fouilhé, Tim King, David MonniauxCNRS, VERIMAG, Michael Perin

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

	16:00 - 16:30 Talk		D3 : Data-Driven Disjunctive Abstraction VMCAI Hila Peleg, Sharon Shoham, Eran YahavTechnion
	16:30 - 17:00 Talk		Exact Heap Summaries for Symbolic Execution VMCAI Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	09:00 - 10:00: Invited Talk IIVMCAI at Room St Petersburg I Chair(s): K. Rustan M. LeinoMicrosoft Research

	09:00 - 10:00 Talk		Ironclad - Full Verification of Complex Systems VMCAI Bryan ParnoMicrosoft Research

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

	10:30 - 11:00 Talk		Abstract Interpretation with Infinitesimals VMCAI Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
	11:00 - 11:30 Talk		Lipschitz Robustness of Timed I/O Systems VMCAI 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 VMCAI Andrew Sogokon, Khalil GhorbalCarnegie Mellon University, Paul Jackson, André Platzer

	14:00 - 15:30: Dynamic and Static VerificationVMCAI 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 VMCAI Pavel ParizekCharles University in Prague
	14:30 - 15:00 Talk		Cloud-Based Verification of Concurrent Software VMCAI Gerald Holzmann
	15:00 - 15:30 Talk		Abstraction-driven Concolic Testing VMCAI Przemyslaw Daca, Ashutosh Gupta, Thomas A. HenzingerIST Austria

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

	16:00 - 16:30 Talk		Reward-Bounded Reachability Probability for Uncertain Weighted MDPs VMCAI Vahid Hashemi, Holger Hermanns, Lei Song
	16:30 - 17:00 Talk		Parameter Synthesis for Parametric Interval Markov Chains VMCAI Benoit Delahaye, Didier Lime, Laure Petrucci

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	09:00 - 10:00: Invited Talk IIIVMCAI 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 VMCAI Peter MüllerETH Zurich

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

	10:30 - 11:00 Talk		Pointer Race Freedom VMCAI Frédéric Haziza, Lukáš Holík, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
	11:00 - 11:30 Talk		A program logic for C11 memory fences VMCAI Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
	11:30 - 12:00 Talk		From Low Level Pointers to High Level Containers VMCAI Kamil Dudka, Lukáš Holík, Petr Peringer, Tomáš VojnarBrno University of Technology

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

	14:00 - 14:30 Talk		Regular Symmetry Patterns VMCAI 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 VMCAI Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
	15:00 - 15:30 Talk		A General Modular Synthesis Problem for Pushdown Systems VMCAI Ilaria De Crescenzo, Salvatore La Torre

	16:00 - 17:00: Solver ImprovementsVMCAI at Room St Petersburg I Chair(s): Roopsha SamantaIST Austria

	16:00 - 16:30 Talk		Model Checking with Multi-Threaded IC3 Portfolios VMCAI Sagar Chaki, Derrick Karimi
	16:30 - 17:00 Talk		Automatic Generation of Propagation Complete SAT Encodings VMCAI Martin Brain, Liana Hadarean, Daniel KroeningUniversity of Oxford, Ruben Martins

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
Room St Petersburg I											VMCAI Welcome		VMCAI Invited Talk I																		VMCAI Abstract Interpretation																																										VMCAI Abstraction I																								VMCAI Abstraction II

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
Room St Petersburg I	VMCAI Invited Talk II																		VMCAI Hybrid and Timed Systems																																										VMCAI Dynamic and Static Verification																								VMCAI Probabilistic Systems

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
Room St Petersburg I	VMCAI Invited Talk III																		VMCAI Concurrent Programs																																										VMCAI Parameterized and Component-Based Systems																								VMCAI Solver Improvements

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


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
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

Filter Program

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

VMCAI

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tracks

VMCAI Program

Filter Program

Program Display Configuration

Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

VMCAI

Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

Tue 19 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

VMCAI

VMCAI

VMCAI

VMCAI

Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change