Author of the publication

Certifying a file system using crash hoare logic: correctness in the presence of crashes.

, , , , , and . Commun. ACM, 60 (4): 75-84 (2017)

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

A Comparison of Two Paradigms for Distributed Shared Memory., , and . Softw., Pract. Exper., 22 (11): 985-1010 (1992)Flexible, Wide-Area Storage for Distributed Systems with WheelFS., , , , , , and . NSDI, page 43-58. USENIX Association, (2009)OverCite: A Distributed, Cooperative CiteSeer., , , , and . NSDI, USENIX, (2006)Disconnected Operation in the Thor Object-Oriented Database System., , , and . WMCSA, page 51-56. IEEE Computer Society, (1994)Exterminate all operating system abstractions., and . HotOS, page 78-85. IEEE Computer Society, (1995)Amber: Decoupling User Data from Web Applications., , , , , , and . HotOS, USENIX Association, (2015)Overcast: Reliable Multicasting with an Overlay Network., , , , and . OSDI, page 197-212. USENIX Association, (2000)An Evaluation of the Amoeba Group Communication System., and . ICDCS, page 436-448. IEEE Computer Society, (1996)An Analysis of Linux Scalability to Many Cores., , , , , , and . OSDI, page 1-16. USENIX Association, (2010)The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors., , , , and . ACM Trans. Comput. Syst., 32 (4): 10:1-10:47 (2015)