Author of the publication

Certifying a crash-safe file system.

. Massachusetts Institute of Technology, Cambridge, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/107325).

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

Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , and . Commun. ACM, 60 (4): 75-84 (2017)A Simple Cache Partitioning Approach in a Virtualized Environment., , , , , , and . ISPA, page 519-524. IEEE Computer Society, (2009)Specifying Crash Safety for Storage Systems., , , , , and . HotOS, USENIX Association, (2015)Dynamic memory paravirtualization transparent to guest OS., , , , , , , and . SCIENCE CHINA Information Sciences, 53 (1): 77-88 (2010)Fast Live Cloning of Virtual Machine Based on Xen., , , , , , and . HPCC, page 392-399. IEEE, (2009)Detecting and Analyzing VM-exits., , , , , , and . CIT, page 2273-2277. IEEE Computer Society, (2010)An Efficient Method for Real-Time Ocean Simulation., , , , , and . Edutainment, volume 4469 of Lecture Notes in Computer Science, page 3-11. Springer, (2007)Certifying a crash-safe file system.. Massachusetts Institute of Technology, Cambridge, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/107325).Identifying Information Disclosure in Web Applications with Retroactive Auditing., , , , and . OSDI, page 555-569. USENIX Association, (2014)Linux kernel vulnerabilities: state-of-the-art defenses and open problems., , , , , and . APSys, page 5. ACM, (2011)