Gradual Program Verification (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

Johannes Bader, Jonathan Aldrich, Éric Tanter

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

Sun 7 Jan 2018 14:00 - 14:30 at Watercourt - Verification Chair(s): Jeffrey S. Foster

Johannes Bader

Microsoft

United States

Jonathan Aldrich

Carnegie Mellon University

United States

Éric Tanter

University of Chile

Chile

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

Sun 7 Jan
Displayed time zone: Tijuana, Baja California change

	14:00 - 15:30	VerificationVMCAI at Watercourt Chair(s): Jeffrey S. Foster University of Maryland, College Park

	14:00 30m Talk		Gradual Program Verification VMCAI Johannes Bader Microsoft, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile
	14:30 30m Talk		A Logical System for Modular Information Flow Verification VMCAI Adi Prabawa National University of Singapore, Mahmudul Faisal Al Ameen National University of Singapore, Benedict Lee National University of Singapore, Wei-Ngan Chin National University of Singapore
	15:00 30m Talk		P5: Planner-less Proofs of Probabilistic Parameterized Protocols VMCAI Lenore Zuck , Kenneth L. McMillan Microsoft Research, Jordan Torf UIC