Automatic Verification of RMA Programs via Abstraction Extrapolation (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation)

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

Who

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev

Track

VMCAI 2018

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

Save

When

Mon 8 Jan 2018 15:00 - 15:30 at Watercourt - Potpourri Chair(s): Wei-Ngan Chin

Cedric Baumann

ETH Zurich

Andrei Marian Dan

ETH Zurich

Switzerland

Yuri Meshman

IMDEA

Torsten Hoefler

ETH Zurich

Switzerland

Martin Vechev

ETH Zürich

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

Display full programSpecify a time band

Save

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