Campus Event Calendar
Event Entry
New for: D1, D2, D3, INET, D4, D5
What and Who
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, 3 March 2021
12:15
60 Minutes
Warning: Date has changed!
Virtual talk
Virtual talk
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.
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
+49 681 9325 2900
--email hidden
Virtual Meeting Details
912 2666 2016
passcode not visible
logged in users only
Jennifer Müller, 11/25/2021 11:27
Jennifer Müller, 02/23/2021 16:16
Jennifer Müller, 11/04/2020 10:09
Jennifer Müller, 10/16/2020 14:37 -- Created document.
Jennifer Müller, 02/23/2021 16:16
Jennifer Müller, 11/04/2020 10:09
Jennifer Müller, 10/16/2020 14:37 -- Created document.