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

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning., , , , and . OSDI, page 447-463. USENIX Association, (2022)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , and . USENIX Security Symposium, page 1465-1482. USENIX Association, (2019)Beyond isolation: OS verification as a foundation for correct applications., , , , , and . HotOS, page 158-165. ACM, (2023)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)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)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)