Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Crash Hoare logic for certifying the FSCQ file system.

H. Chen, D. Ziegler, T. Chajed, A. Chlipala, M. Kaashoek, and N. Zeldovich. SOSP, page 18-37. ACM, (2015)

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.T. Chajed, H. Chen, A. Chlipala, M. Kaashoek, N. Zeldovich, and D. Ziegler. Commun. ACM, 60 (4): 75-84 (2017)A Simple Cache Partitioning Approach in a Virtualized Environment.X. Jin, H. Chen, X. Wang, Z. Wang, X. Wen, Y. Luo, and X. Li. ISPA, page 519-524. IEEE Computer Society, (2009)Specifying Crash Safety for Storage Systems.H. Chen, D. Ziegler, A. Chlipala, M. Kaashoek, E. Kohler, and N. Zeldovich. HotOS, USENIX Association, (2015)An Efficient Method for Real-Time Ocean Simulation.H. Chen, Q. Li, G. Wang, F. Zhou, X. Tang, and K. Yang. Edutainment, volume 4469 of Lecture Notes in Computer Science, page 3-11. Springer, (2007)Fast Live Cloning of Virtual Machine Based on Xen.Y. Sun, Y. Luo, X. Wang, Z. Wang, B. Zhang, H. Chen, and X. Li. HPCC, page 392-399. IEEE, (2009)Detecting and Analyzing VM-exits.X. Wang, B. Zhang, H. Chen, X. Jin, Y. Luo, X. Li, and Z. Wang. CIT, page 2273-2277. IEEE Computer Society, (2010)Dynamic memory paravirtualization transparent to guest OS.X. Wang, Y. Sun, Y. Luo, Z. Wang, Y. Li, B. Zhang, H. Chen, and X. Li. SCIENCE CHINA Information Sciences, 53 (1): 77-88 (2010)Certifying a crash-safe file system.H. Chen. Massachusetts Institute of Technology, Cambridge, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/107325).Using Crash Hoare Logic for Certifying the FSCQ File System.H. Chen, D. Ziegler, T. Chajed, A. Chlipala, M. Kaashoek, and N. Zeldovich. USENIX Annual Technical Conference, USENIX Association, (2016)Identifying Information Disclosure in Web Applications with Retroactive Auditing.H. Chen, T. Kim, X. Wang, N. Zeldovich, and M. Kaashoek. OSDI, page 555-569. USENIX Association, (2014)

PUMA

Disambiguation of "Chen, Haogang"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Crash Hoare logic for certifying the FSCQ file system.

Please choose a person to relate this publication to

Jun Chen University of Stuttgart

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Lu Chen University of Stuttgart

Yingxing Cheng University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Chen, Haogang"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using Crash Hoare logic for certifying the FSCQ file system.

Please choose a person to relate this publication to

Jun Chen University of Stuttgart

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Lu Chen University of Stuttgart

Yingxing Cheng University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Crash Hoare logic for certifying the FSCQ file system.