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

Exokernel: An Operating System Architecture for Application-Level Resource Management., , and . SOSP, page 251-266. ACM, (1995)Operating System Review 29(5).Dynamic Documents: Mobile Wireless Access to the WWW., , and . WMCSA, page 179-184. IEEE Computer Society, (1994)DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation., and . SIGCOMM, page 53-59. ACM, (1996)Verifying vMVCC, a high-performance transaction library using multi-version concurrency control., , , , , and . OSDI, page 871-886. USENIX Association, (2023)Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning., , , , and . OSDI, page 447-463. USENIX Association, (2022)Storage Alternatives for Mobile Computers., , , , , and . OSDI, page 25-37. USENIX Association, (1994)Object Distribution in Orca using Compile-Time and Run-Time Techniques., and . OOPSLA, page 162-177. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.Chord, , , , and . Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '01, page 149--160. San Diego, California, United States, (2001)A Comparison of Two Distributed Systems: Amoeba and Sprite., , , and . Computing Systems, 4 (4): 353-384 (1991)Server operating systems., , , and . ACM SIGOPS European Workshop, page 141-148. ACM, (1996)