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

Customized OS support for data-processing., , , and . DaMoN, page 2:1-2:6. ACM, (2016)Isolation in Rust: What is Missing?, , , , , , and . PLOS@SOSP, page 76-83. ACM, (2021)Cache-coherent accelerators for persistent memory crash consistency., , , , , and . HotStorage, page 37-44. ACM, (2022)Unifying synchronization and events in a multicore OS., , and . APSys, page 16. ACM, (2012)RedLeaf: Isolation and Communication in a Safe Operating System., , , , , , and . OSDI, page 21-39. USENIX Association, (2020)NrOS: Effective Replication and Sharing in an Operating System., , , , , , , and . OSDI, page 295-312. USENIX Association, (2021)How to diagnose nanosecond network latencies in rich end-host stacks., , , , , , , and . NSDI, page 861-877. USENIX Association, (2022)Beyond isolation: OS verification as a foundation for correct applications., , , , , and . HotOS, page 158-165. ACM, (2023)So many performance events, so little time., , and . APSys, page 14:1-14:9. ACM, (2016)Decoupling Cores, Kernels, and Operating Systems., , , and . OSDI, page 17-31. USENIX Association, (2014)