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
Paper: [Fleming & Wallace, 1986]
Other: [Gernot's List of Benchmarking Crimes]
MP4 lecture recording (public YouTube) 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]
MP4 lecture recording (UNSW only) PDF
8 Mon Gernot Formal Verification and seL4
Papers: [Klein et al., 2014], [Heiser 2020]
MP4 lecture recording (public YouTube) PDF
8 Tue Peter Unix and Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
Matroska PDF
9 Mon Kevin SMP and Locking 1
Papers: [Anderson, 1990], [Clements et al. 2013]
MP4 lecture recording (UNSW only) PDF
9 Tue Kevin SMP and Locking 2
MP4 lecture recording (UNSW only) PDF
10 Mon Ihor Multicore Operating Systems
3h lecture
MP4 lecture recording (UNSW only) PDF
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]
MP4 lecture recording (public YouTube) PDF
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