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)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)Hardware is the new software. Proceedings of the 16th Workshop on Hot Topics in Operating Systems, page 132--137. (May 2016)Composing OS extensions safely and efficiently with Bascule., , , , , , , and . EuroSys, page 239-252. ACM, (2013)30 seconds is not enough!: a study of operating system timer usage., , , , and . EuroSys, page 205-218. ACM, (2008)Cosh: Clear OS Data Sharing In An Incoherent World., , , , and . TRIOS, USENIX Association, (2014)Shielding Applications from an Untrusted Cloud with Haven., , and . OSDI, page 267-283. USENIX Association, (2014)A declarative language approach to device configuration., , , and . ASPLOS, page 119-132. ACM, (2011)