Biblio

Export 6 results:
Filters: Author is Tej Chajed  [Clear All Filters]
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.
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).