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)Using Crash Hoare Logic for Certifying the FSCQ File System., , , , , and . USENIX Annual Technical Conference, USENIX Association, (2016)GoJournal: a verified, concurrent, crash-safe journaling system., , , , , and . OSDI, page 423-439. USENIX Association, (2021)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , and . USENIX Security Symposium, page 1465-1482. USENIX Association, (2019)Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning., , , , and . OSDI, page 447-463. USENIX Association, (2022)Beyond isolation: OS verification as a foundation for correct applications., , , , , and . HotOS, page 158-165. ACM, (2023)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)Verifying concurrent software using movers in CSPEC., , , and . OSDI, page 306-322. USENIX Association, (2018)Using Crash Hoare logic for certifying the FSCQ file system., , , , , and . SOSP, page 18-37. ACM, (2015)