My course notes

Luc Maranget

Course 00
My slides and archive of demos, Introduction to weak memory models.
Course 01
My slides and archive of demos, DRF programming.
Course 02
My slides and archive of demos, Out of DRF programming.
Course 03
My slides and archive of demos. Axiomatic memory models.
Exercises
Some exercises on POSIX threads programming, document and archive of demos. Plus some exercises by Francesco Zappa-Nardelli (solutions).

This document was translated from LATEX by HEVEA.