Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Formal Reasoning about Relaxed Concurrency
Speaker:Viktor Vafeiadis
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:MPI Audience
Date, Time and Location
Date:Wednesday, 5 March 2014
Duration:60 Minutes
Building:E1 5
Despite what most reasoning techniques assume, concurrent programs
do run under sequentially consistency, but rather under a relaxed
memory model, such as the recent C/C++ model. There has been a lot
of work on specifying such relaxed models, but very little yet on
reasoning about programs under relaxed concurrency semantics.
Recently, at MPI-SWS, we have tackled this problem and developed
a bunch of relaxed program logics that encompass sound reasoning
principles for concurrent programs running under the C/C++ relaxed
memory model. The talk will provide a gentle introduction to
the C/C++ memory model and our newly developed reasoning principles.
Name(s):Jennifer M├╝ller
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Kamila Kolesniczenko, 11/04/2013 02:32 PM -- Created document.