Covers the principles and mechanisms of virtual memory in computer systems, focusing on isolation, efficiency, and the role of the Memory Management Unit.
Covers the organization and management of page tables in computer systems, focusing on their structure, challenges, and the advantages of multi-level page tables.
Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.