USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Daniel Ziegler [Clear All Filters]
Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015.