My course notes

Luc Maranget

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 and some by Albert Cohen (with solutions).

This document was translated from LATEX by HEVEA.