Modular Analysis of Executables using On-Demand Heyting Completion (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Julian Kranz, Axel Simon

Track

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

Mon 8 Jan 2018 11:30 - 12:00 at Watercourt - Abstract Interpretation Chair(s): Patrick Cousot

Julian Kranz

Technical University of Munich

Axel Simon

Google

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

Mon 8 Jan
Displayed time zone: Tijuana, Baja California change

	10:30 - 12:00	Abstract InterpretationVMCAI at Watercourt Chair(s): Patrick Cousot

	10:30 30m Talk		On Constructivity of Galois Connections VMCAI Francesco Ranzato University of Padova
	11:00 30m Talk		An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs VMCAI Laura Titolo National Institute of Aerospace, USA, Marco A. Feliu National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Cesar Munoz NASA
	11:30 30m Talk		Modular Analysis of Executables using On-Demand Heyting Completion VMCAI Julian Kranz Technical University of Munich, Axel Simon Google