Author of the publication

Why write address translation OS code yourself when you can synthesize it?

, , and . HotOS, page 174-180. ACM, (2023)

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

NrOS: Effective Replication and Sharing in an Operating System., , , , , , , and . OSDI, page 295-312. USENIX Association, (2021)Machine-Aware Atomic Broadcast Trees for Multicores., , , , , and . OSDI, page 33-48. USENIX Association, (2016)Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines., , , , and . ASPLOS, page 283-300. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..Fast local page-tables for virtualized NUMA servers with vMitosis., , , , , and . ASPLOS, page 194-210. ACM, (2021)Enzian: an open, general, CPU/FPGA platform for systems software research., , , , , , , , , and 3 other author(s). ASPLOS, page 434-451. ACM, (2022)mmapx: uniform memory protection in a heterogeneous world., , , , , , and . HotOS, page 159-166. ACM, (2021)Beyond isolation: OS verification as a foundation for correct applications., , , , , and . HotOS, page 158-165. ACM, (2023)Shoal: Smart Allocation and Replication of Memory For Parallel Programs., , , and . USENIX ATC, page 263-276. USENIX Association, (2015)Why write address translation OS code yourself when you can synthesize it?, , and . HotOS, page 174-180. ACM, (2023)On Memory Addressing.. ETH Zurich, Zürich, Switzerland, (2020)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/400029).