Lectures

Times and locations

Day Weeks Start End Location

Slides and Video

Week Day Lecturer Topic Video Slides
1 Mon Gernot Introduction (Microkernels and seL4) MP4 lecture recording (public YouTube) PDF slides
1 Tue Gernot seL4 API and usage MP4 lecture recording (public YouTube) PDF
2 Mon – – Queen's Birthday – – – –
2 Tue Kevin OS Execution Models MP4 lecture recording (UNSW only) PDF
3 Mon Kevin Why Threads are a Bad Idea (for most purposes)
Why Events are a Bad Idea (for high-concurrency servers)
Paper: [von Behren et al., 2003]
MP4 lecture recording (UNSW only) PDF
PDF
3 Tue Gernot Caches (What every OS designer must know)
Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003]
Book: [Schimmel, 1994]
MP4 lecture recording (UNSW only) PDF
4 Mon Gernot Virtual Machines
Papers: [Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
MP4 lecture recording (UNSW only) PDF
4 Tue Gernot Performance Measurement and Analysis MP4 lecture recording (UNSW only) PDF
5 Mon Gernot Real-Time Systems Introduction
Book: [Liu, 2000]
Papers: [Lyons et al., 2018]
MP4 lecture recording (UNSW only) PDF
5 Tue Gernot Microkernel Design and Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
MP4 lecture recording (public YouTube) PDF
6 Mon – – Flex week – no lecture – – – –
6 Tue – – Flex week – no lecture – – – –
7 Mon Gernot Security Fundamentals
Reference: [Miller et al., 2003]
MP4 lecture recording (UNSW only) PDF
7 Tue Gernot Information Leakage
(timing channels and speculation)
Papers: [Liu et al., 2015], [Lipp et al., 2018], [Kocher et al., 2019]
8 Mon Gernot Formal Verification and seL4
Papers: [Klein et al., 2014]
8 Tue Peter Unix and Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
9 Mon Kevin SMP and Locking 1
Papers: [Anderson, 1990], [Clements et al. 2013]
9 Tue Kevin SMP and Locking 2
10 Mon Ihor Multicore Operating Systems
3h lecture
10 Tue Gernot Local OS Research
Having fun with seL4 and beyond
[Biggs et al.,  2018], [Amani et al., 2016], [Ge et al.,  2019], [Shen et al., 2019], [Klein et al., 2018]
11 Mon Gernot Exam preparation (1h)
Note: This will be live and interactive, no pre-recorded lecture!
– – – –
The schedule for future lectures is tentative and subject to change!

References in square brackets are recommended readings from the papers list.

The icon for the video indicates accessibility:
UNSW only accessible to UNSW staff and students
public YouTube freely accessible on the UNSW CSeLearning COMP9242 YouTube channel