Biblio

Export 7 results:
Filters: Author is Tej Chajed  [Clear All Filters]
2022
Chajed T, Tassarotti J, Theng M, M. Kaashoek F, Zeldovich N.  2022.  Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
2021
Chajed T, Tassarotti J, Theng M, Jung R, M. Kaashoek F, Zeldovich N.  2021.  GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.
2019
Ramananandro T, Delignat-Lavaud A, Fournet C, Swamy N, Chajed T, Kobeissi N, Protzenko J.  2019.  EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. 28th USENIX Security Symposium (USENIX Security 19). :1465--1482.
2018
Ileri A, Chajed T, Chlipala A, Kaashoek F, Zeldovich N.  2018.  Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
Chajed T, Kaashoek F, Lampson B, Zeldovich N.  2018.  Verifying concurrent software using movers in CSPEC. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
2016
Chen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N.  2016.  Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
2015
Chajed T, Gjengset J, van den Hooff J, M. Kaashoek F, Mickens J, Morris R, Zeldovich N.  2015.  Amber: Decoupling User Data from Web Applications. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).