Monday, October 13, 2014
11:00am Meeting room 302 (Mountain View), level 3
Viktor Vafeiadis, Faculty (tenure-track), Max Planck Institute for Software Systems, Germany
Reasoning about the C/C++ weak memory model
Abstract:
The talk will introduce the C11 weak memory model that defines the semantics of concurrent C/C++ programs, and will answer two key questions regarding the model: (1) What high-level principles can programmers use to reason about their programs? (2) What source-to-source transformations can optimising compilers soundly perform?