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

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

14:00 - 15:05
Papers 8VMCAI at St Jerome
Chair(s): Ori LahavTel Aviv University
14:00
32m
Talk
Formalizing and Checking Multilevel Consistency
VMCAI
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaIRIF, University Paris Diderot & CNRS, Madhavan MukundChennai Mathematical Institute, Gautham Shenoy RChennai Mathematical Institute, S.P. SureshChennai Mathematical Institute
14:32
32m
Talk
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
VMCAI
Wytse OortwijnETH Zürich, Dilian GurovKTH Royal Institute of Technology, Marieke HuismanUniversity of Twente