My course notes

Luc Maranget

Exam statement, with answers,

Énoncé, sans corrigé.

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

This document was translated from LATEX by HEVEA.