Explores memory virtualization, addressing address spaces, page tables, caching, and system design constants to optimize memory performance and reliability.
Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.
