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.

Tzu-Ying Chen University of Stuttgart

Replication Data for: Structural development of a novel punctually supported timber building system for multi-storey construction : Experimental Data: Tension Tests of the Edge Connection, , , , , and . Dataset, (2024)Related to: Anna Krtschil, Luis Orozco, Simon Bechert, Hans Jakob Wagner, Felix Amtsberg, Tzu-Ying Chen, Anand Shah, Achim Menges, Jan Knippers, "Structural development of a novel punctually supported timber building system for multi-storey construction", Journal of Building Engineering, Volume 58, 2022, pages 104972. doi: 10.1016/j.jobe.2022.104972.
 

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)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)Linux kernel vulnerabilities: state-of-the-art defenses and open problems., , , , , and . APSys, page 5. ACM, (2011)An Efficient Method for Real-Time Ocean Simulation., , , , , and . Edutainment, volume 4469 of Lecture Notes in Computer Science, page 3-11. Springer, (2007)Fast Live Cloning of Virtual Machine Based on Xen., , , , , , and . HPCC, page 392-399. IEEE, (2009)Dynamic memory paravirtualization transparent to guest OS., , , , , , , and . SCIENCE CHINA Information Sciences, 53 (1): 77-88 (2010)