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

Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , and . Commun. ACM, 60 (4): 75-84 (2017)Specifying Crash Safety for Storage Systems., , , , , and . HotOS, USENIX Association, (2015)A Simple Cache Partitioning Approach in a Virtualized Environment., , , , , , and . ISPA, page 519-524. IEEE Computer Society, (2009)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)An Efficient Method for Real-Time Ocean Simulation., , , , , and . Edutainment, volume 4469 of Lecture Notes in Computer Science, page 3-11. Springer, (2007)Detecting and Analyzing VM-exits., , , , , , and . CIT, page 2273-2277. IEEE Computer Society, (2010)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)Using Crash Hoare Logic for Certifying the FSCQ File System., , , , , and . USENIX Annual Technical Conference, USENIX Association, (2016)