The schedule is tentative and may change.
Date Lecture Papers
Oct 22

Introduction
Overview
Administrative details
Taste of topics

Oct 29

Reasoning about concurrency (linearizability)

Nov 5

Cache coherence

Nov 12

Serializing efficiently
Spin locks and local spinning
Delegation
Lock-free synchronization and CAS failures

Nov 19

Memory consistency models (hardware)

Nov 26

Memory consistency models (programming language)

Dec 3

Safe memory reclamation

Dec 10

Transactional memory (1/2)

Dec 24

Transactional memory (2/2)

Dec 31

Concurrent search trees

Jan 7

Ordered parallelism and relaxed data structures (1/2)

Jan 14

Ordered parallelism and relaxed data structures (2/2)

Jan 21

TBD