Campus Event Calendar
Event Entry
What and Who
CANCELLED: Model checking under weak memory concurrency
Viktor Vafeiadis
MMCI
Joint Lecture Series
AG 1, AG 2, AG 3, INET, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 4 March 2020
12:15
60 Minutes
E1 5
002
Saarbrücken
Abstract
Model checking is an automatic approach for testing and
verifying programs, and has proven to be very effective
in a number of settings ranging from hardware designs to
intricate low-level systems software. In this talk,
I will present our recent research on applying model checking
to weakly consistent concurrent programs. I will explain
the key challenges involved in making model checking
effective in this setting and how to address them.
Contact
Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 03/02/2020 12:59
Jennifer Müller, 02/27/2020 14:29 -- Created document.
Jennifer Müller, 02/27/2020 14:29 -- Created document.