Week | Topic | |
01 | Microkernels and L4 (Introduction) | |
02 | L4 Programming (Introduction) | |
03 | Caches (Software Perspective) | |
04 | Security (Advanced Introduction) | |
05 | Microkernels (In a bit more depth) | |
06 | Virtual Machines (History and Current Research) | |
Virtual Machines (Itanium and vNUMA) | ||
07 | Microkernel Construction | |
08 | Microkernel Construction | |
09 | SMP and Locking | |
10 | Why Events are a Bad Idea | |
Why Threads are a Bad Idea | ||
File System Workloads | ||
11 | Byzantine Generals Problem | |
Farsite | ||
Backtracking Intrusions | ||
Tiny OS | ||
12 | Local OS Research (Cool opportunities for students) | |
13 | Real-Time Systems |