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.
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 |
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: