Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hardware is the new Software.. HotOS, page 132-137. ACM, (2017)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , and . SOSP, page 225-242. ACM, (2019)Autarky: closing controlled channels with self-paging enclaves., , and . EuroSys, page 7:1-7:16. ACM, (2020)Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud., , , , , and . OSDI, page 247-267. USENIX Association, (2023)Your computer is already a distributed system. Why isn't your OS?, , , , , , and . HotOS, USENIX Association, (2009)Embracing diversity in the Barrelfish manycore operating system, , , , , , and . Proceedings of the Workshop on Managed Many-Core Systems, (June 2008)A fork() in the road., , , and . HotOS, page 14-22. ACM, (2019)The Multikernel: A New OS Architecture for Scalable Multicore Systems, , , , , , , , and . SOSP '09: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, page 29--44. New York, NY, USA, ACM, (2009)Mind the Gap: Reconnecting Architecture and OS Research., , , and . HotOS, USENIX Association, (2011)Komodo: Using verification to disentangle secure-enclave hardware from software., , , and . SOSP, page 287-305. ACM, (2017)