Weak memory concurrency

Lectures given at the Master Parisien de Recherche en Informatique, 2017.

Part of the Semantics, languages and algorithms for multicore programming course, in collaboration with Albert Cohen and Luc Maranget.


Slides and Resources:

References: If you want more:

Email: Francesco.Zappa_Nardelli (at) inria.fr


Last updated:  .