Concurrency, Theory & Practice – Summer 2024
- Lecturer: Prof. Dr. Peter Thiemann
- Assistant: Dr. Bas van den Heuvel
Course planning
We plan to discuss the following topics (subject to change):
- Go: language overview
- Go: concurrency
- Dynamic data race prediction
- Dynamic deadlock prediction
- Futures
- Model checking: a short introduction
- Low-level concurrent data structures
- The pi-calculus
- Session types
We have one lecture and one tutorial each week:
- Lecture: Wednesday, 4:15 pm - 5:45 pm, SR 00 031 (G.-Köhler-Allee 051)
- Tutorials: Friday, 12:15 pm - 1:45 pm, R 04 007 Videokonferenz (G.-Köhler-Allee 106)
Note that some tutorials will be held online, so keep an eye on the schedule.
Examination and Studienleistung
To pass the course, you need a passing grade on the written exam. Additionally, you need to pass the Studienleisting, which entails actively participating in the Ilias quizzes.
Schedule
If the schedule says “Tutorial”, there is a tutorial. Only if the schedule says “No tutorial” will there be no tutorial.
| Date | Type | Topic | Links |
|---|---|---|---|
| Upcoming | |||
| 2024-05-17 (Fri) | Tutorial | ilias deadline | |
| 2024-05-22 (Wed) | No lecture | (Pfingstwoche) | |
| 2024-05-24 (Fri) | No tutorial | (Pfingstwoche) | |
| 2024-05-29 (Wed) | Lecture (online) | Dynamic deadlock prediction (by Bas) | |
| 2024-05-31 (Fri) | Tutorial (online) | ||
| 2024-06-05 (Wed) | Lecture (online) | Futures | |
| 2024-06-07 (Fri) | Tutorial | ||
| 2024-06-12 (Wed) | Lecture | Formal aspects of concurrency | |
| 2024-06-14 (Fri) | Tutorial | ||
| 2024-06-19 (Wed) | Lecture | Concurrent data structures | |
| 2024-06-21 (Fri) | No tutorial | ||
| 2024-06-26 (Wed) | Lecture | Concurrent data structures | |
| 2024-06-28 (Fri) | Tutorial (online) | ||
| 2024-07-03 (Wed) | Lecture | Pi-calculus | |
| 2024-07-05 (Fri) | Tutorial | ||
| 2024-07-10 (Wed) | Lecture | Session types | |
| 2024-07-12 (Fri) | Tutorial | ||
| 2024-07-17 (Wed) | Lecture | Session types | |
| 2024-07-19 (Fri) | Tutorial | ||
| Past | |||
| 2024-04-17 (Wed) | Lecture | Course overview and Go | [Lecture notes] [Recording] |
| 2024-04-19 (Fri) | Tutorial | Concurrency control using Go channels | [Exercise solutions] [Recording] |
| 2024-04-24 (Wed) | Lecture | Go (by Bas) | [Lecture notes] [Recording] |
| 2024-04-26 (Fri) | Tutorial (online) | Go | [Exercise solutions] [Partial recording] |
| 2024-05-03 (Fri) | Tutorial | Go | [Exercise/Ilias solutions] [Recording] |
| 2024-05-08 (Wed) | Lecture | Dynamic data race prediction | [Lecture notes 1/2 PDF/HTML 2/2 PDF/HTML] [Recording (audio only)] |
| 2024-05-10 (Fri) | Tutorial | Dynamic data race prediction | [Notes, exercises, and solutions] [Recording] |
| 2024-05-15 (Wed) | Lecture | Dynamic data race prediction, part 2 | [Lecture notes] [Recording] |
Additional consulting
Besides tutorials, Bas will be available for consulting on Tuesdays 10-11 (with the exception of 2024-04-30, 2024-05-28, 2024-06-18, 2024-06-25). If you cannot make it and have urgent questions, email Bas and ask the question directly or make an appointment.