Times and locations

Day	Weeks	Start	End	Location

Slides and Video

Week	Day	Lecturer	Topic	Video	Slides
1	Mon	Gernot	Introduction (Microkernels and seL4)
1	Tue	Gernot	seL4 API and usage
2	Mon	– –	Queen's Birthday	– –	– –
2	Tue	Kevin	OS Execution Models
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]
3	Tue	Gernot	Caches (What every OS designer must know) Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003] Book: [Schimmel, 1994]
4	Mon	Gernot	Virtual Machines Papers: [Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
4	Tue	Gernot	Performance Measurement and Analysis Paper: [Fleming & Wallace, 1986] Other: [Gernot's List of Benchmarking Crimes]
5	Mon	Gernot	Real-Time Systems Introduction Book: [Liu, 2000] Papers: [Lyons et al., 2018]
5	Tue	Gernot	Microkernel Design and Implementation (with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
6	Mon	– –	Flex week – no lecture	– –	– –
6	Tue	– –	Flex week – no lecture	– –	– –
7	Mon	Gernot	Security Fundamentals Reference: [Miller et al., 2003]
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], [Heiser 2020]
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:
	accessible to UNSW staff and students
	freely accessible on the UNSW CSeLearning COMP9242 YouTube channel