Author of the publication

Using Crash Hoare Logic for Certifying the FSCQ File System.

, , , , , and . USENIX Annual Technical Conference, USENIX Association, (2016)

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)Overcast: Reliable Multicasting with an Overlay Network., , , , and . OSDI, page 197-212. USENIX Association, (2000)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)Disconnected Operation in the Thor Object-Oriented Database System., , , and . WMCSA, page 51-56. IEEE Computer Society, (1994)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 design of very fast portable compilers., , , and . SIGPLAN Notices, 24 (11): 125-131 (1989)