Lectures

Schedule

We normally have two classes per week, one on Monday and one on Wednesday, both at 10:00–11:45. See below for a more precise schedule, where there is no lecture on dates corresponding to cells with greyed out text or no text. See the official schedule on TimeEdit for information about the rooms.

Lecture slides

We will try, to the extent possible, to make the slides/lecture notes available online on this page the day before each class. However, this is not guaranteed to always happen, and in any case a new version of the slides may be uploaded after class according to what has actually been presented. Therefore, we encourage you to take notes independent of the slides material available before class.

Class # Date Topic Slides References
1 16 January 2017 Introduction to concurrent programming info slides examples Ben-Ari 1, 2.1-2.3
2 16 January 2017 Races, locks, and semaphores slides examples Ben-Ari 2.4-2.7, 2.12, 6.1-6.5, 6.9
3 18 January 2017 Models of concurrency & synchronization algorithms slides examples quiz Ben-Ari 3.1-3.9
4 23 January 2017 Synchronization problems with semaphores slides examples Ben-Ari 6.5-6.9
5 25 January 2017 Monitors slides examples quiz Ben-Ari 7.1-7.3, 7.5
30 January 2017 (no lecture)
6 1 February 2017 Synchronization problems with monitors slides examples quiz Ben-Ari 7.4, 7.5-7.6
7 6 February 2017 Introduction to functional programming in Erlang slides Hébert Starting out-Errors and exceptions
8 6 February 2017 Message-passing concurrency in Erlang slides examples Hébert Hitchiker’s guide to concurrency-Clients and servers
9 13 February 2017 Synchronization problems with message passing slides examples quiz
10 15 February 2017 Parallelizing computations slides examples
11 20 February 2017 Models and languages of concurrent computation slides Ben-Ari 9
12 22 February 2017 Verification of concurrent programs slides quiz Ben-Ari 4
13 27 February 2017 Guest lecture: Niklas Gustavsson, Spotify slides
14 1 March 2017 Guest lecture: Cons T Åhs, Cisco Systems slides

Lecture material from previous editions

If you want to get an idea of the material covered in the course before, here are the lecture notes used in previous editions of the course:

Menu