Program Analysis with Local Policy Iteration (VMCAI) - VMCAI

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

co-located with POPL 2016

Who

Egor Karpenkov, David Monniaux, Philipp Wendler

Track

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

When

Sun 17 Jan 2016 14:00 - 14:30 at Room St Petersburg I - Abstraction I Chair(s): Eva Darulova

Egor Karpenkov

David Monniaux

CNRS, VERIMAG

Philipp Wendler

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

Session Program

Sun 17 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

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