Automatic Synthesis of OS CodeDiscusses the automatic synthesis of OS code to ease the burden of configuring translation hardware for operating system developers.
Rethinking OSes for DatacentersExplores Junction, a new approach combining kernel bypass with resource multiplexing for improved datacenter OS performance.
Introduction to Operating SystemsCovers the importance and challenges of operating systems, their omnipresence, impact on programs, and role as illusionists and referees.
