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

Amber: Decoupling User Data from Web Applications., , , , , , and . HotOS, USENIX Association, (2015)GoJournal: a verified, concurrent, crash-safe journaling system., , , , , and . OSDI, page 423-439. USENIX Association, (2021)Using Crash Hoare Logic for Certifying the FSCQ File System., , , , , and . USENIX ATC, USENIX Association, (2016)Verifying a high-performance crash-safe file system using a tree specification., , , , , , , and . SOSP, page 270-286. ACM, (2017)DBSP: Automatic Incremental View Maintenance for Rich Query Languages., , , , and . Proc. VLDB Endow., 16 (7): 1601-1614 (2023)Using Crash Hoare logic for certifying the FSCQ file system., , , , , and . SOSP, page 18-37. ACM, (2015)Verifying concurrent software using movers in CSPEC., , , and . OSDI, page 306-322. USENIX Association, (2018)Verifying a concurrent, crash-safe file system with sequential reasoning. MIT, USA, (2022)Argosy: verifying layered storage systems with recovery refinement., , , and . PLDI, page 1054-1068. ACM, (2019)Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , and . Commun. ACM, 60 (4): 75-84 (2017)