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)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)DBSP: Automatic Incremental View Maintenance for Rich Query Languages., , , , and . Proc. VLDB Endow., 16 (7): 1601-1614 (2023)Verifying a concurrent, crash-safe file system with sequential reasoning. MIT, USA, (2022)Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , and . Commun. ACM, 60 (4): 75-84 (2017)Verifying concurrent, crash-safe systems with Perennial., , , and . SOSP, page 243-258. ACM, (2019)