Property Directed Abstract Interpretation (VMCAI) - VMCAI

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

co-located with POPL 2016

Who

Noam Rinetzky, Sharon Shoham

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 11:30 - 12:00 at Room St Petersburg I - Abstract Interpretation Chair(s): Peter Müller

Noam Rinetzky

Sharon Shoham

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

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

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