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

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