Revisiting MITL to Fix Decision Procedures (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

Nima Roohi, Mahesh Viswanathan

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 14:00 - 14:30 at Watercourt - Potpourri Chair(s): Wei-Ngan Chin

Nima Roohi

University of Pennsylvania

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

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

	14:00 - 15:30	PotpourriVMCAI at Watercourt Chair(s): Wei-Ngan Chin National University of Singapore

	14:00 30m Talk		Revisiting MITL to Fix Decision Procedures VMCAI Nima Roohi University of Pennsylvania, Mahesh Viswanathan University of Illinois at Urbana-Champaign
	14:30 30m Talk		On abstraction and compositionality for weak-memory linearisability VMCAI Brijesh Dongol Brunel University London, Radha Jagadeesan DePaul University, James Riely DePaul University, Alasdair Armstrong Brunel University
	15:00 30m Talk		Automatic Verification of RMA Programs via Abstraction Extrapolation VMCAI Cedric Baumann ETH Zurich, Andrei Marian Dan ETH Zurich, Yuri Meshman IMDEA, Torsten Hoefler ETH Zurich, Martin Vechev ETH Zürich