Lazy Constrained Monotonic Abstraction (VMCAI) - VMCAI

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

co-located with POPL 2016

Who

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

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:30 - 15:00 at Room St Petersburg I - Abstraction I Chair(s): Eva Darulova

Zeinab Ganjei

Ahmed Rezine

Petru Eles

Zebo Peng

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