Write a Blog >>
Tue 21 Jan 2020 14:32 - 15:05 at St Jerome - Papers 8 Chair(s): Ori Lahav

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

14:00 - 15:05
Papers 8VMCAI at St Jerome
Chair(s): Ori Lahav Tel Aviv University
14:00
32m
Talk
Formalizing and Checking Multilevel Consistency
VMCAI
Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea IRIF, University Paris Diderot & CNRS, Madhavan Mukund Chennai Mathematical Institute, Gautham Shenoy R Chennai Mathematical Institute, S.P. Suresh Chennai Mathematical Institute
14:32
32m
Talk
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
VMCAI
Wytse Oortwijn ETH Zürich, Dilian Gurov KTH Royal Institute of Technology, Marieke Huisman University of Twente