Biblio

Export 2 results:
Filters: Author is Daniel Ziegler  [Clear All Filters]
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
Chen H, Ziegler D, Chlipala A, M. Kaashoek F, Kohler E, Zeldovich N.  2015.  Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS {XV}).