Explores the principles of modularity and abstraction in computer systems design, emphasizing their role in simplifying complex systems and improving scalability.
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Covers the principles and mechanisms of virtual memory in computer systems, focusing on isolation, efficiency, and the role of the Memory Management Unit.
Explores congestion control challenges, emphasizing the need for robust network systems and performance verification to enhance internet performance and address issues like starvation and low utilization.
Covers the operating system's role as a referee in managing resources and ensuring security through fault isolation, resource sharing, and communication.
