Advanced course focusing on technical papers and case studies of modern operating systems. Rigorous study of OS structure, design, and implementation for real-world systems. Abstractions, mechanisms and policies for future system design, including address-space protection, scheduling, synchronization, and fast interprocess communication.