Daniel Kroening


"Verifying shared-variable concurrent programs"

I will first outline a series of research results on verifying shared-variable concurrent programs, including techniques for predicate abstraction for such programs, and how to check the resulting concurrent Boolean programs. I will then elaborate on two recent results on supporting weak memory consistency (ESOP and CAV 2013, respectively).

Zeit: Donnerstag, 04.04.2013, 11.00 Uhr
Ort: MPI-SWS Gebäude Kaiserslautern, Raum 206
Hinweis: Der Vortrag wird live zum MPI-SWS Gebäude nach Saarbrücken, Raum 029 übertragen.