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.
