Lectures Topic Dates # Lecture Hours Comments
01 Introduction 19/01, 20/01, 21/01, 22/01, 27/01, 28/01 5.5 Chap 1 AMP1
02 Mutual Exclusion 28/01, 29/01, 02/02, 03/02, 04/02 4.5 Chap 2 AMP
03 Concurrent Objects 04/02, 05/02, 09/02, 10/02, 11/02, 12/02 4.5 Chap 3 AMP
04 Memory Consistency Models 12/02, 16/02, 17/02, 18/02 3.5 * OCaml Memory Model
* You don’t know jack about shared variables or memory models
05 Spinlocks and Contention 19/02, 23/02, 24/02 3.0 Chap 7 AMP
06 Monitors and Synchronization 25/02, 26/02 2.0 Chap 8 AMP
07 Linked Lists 02/03, 03/03, 09/03, 10/03, 11/03, 12/03, 16/03 6.5 Chap 9 AMP
08 Queues and Stacks 16/03, 17/03, 18/03, 19/03, 24/03, 25/03, 26/03 6.0 Chap 10 & 11 AMP
09 Effect Handlers 26/03 0.5 * Effect Handlers in OCaml
* Chap 10 CS2
10 Lightweight Concurrency     Chap 10 CS

Quiz dates

Quiz Date
Short Quiz 01 02/02/2026
Short Quiz 02 16/02/2026
Midsem 05/03/2026
Short Quiz 03 12/03/2026
Short Quiz 04 26/03/2026

Footnotes

  1. AMP is “Advanced Multiprocessor Programming” 2nd Edition, by Maurice Herlihy, Nir Shavit, Victor Luchangco and Michael Spear. ↩

  2. CS is “Control structures in programming languages: from goto to algebraic effects”, by Xavier Leroy. Available online at https://xavierleroy.org/control-structures/. ↩