USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 6 results:
Filters: Author is Gerd Zellweger [Clear All Filters]
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
.
2023. How to diagnose nanosecond network latencies in rich end-host stacks. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :861--877.
.
2022. NrOS: Effective Replication and Sharing in an Operating System. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :295--312.
.
2021. RedLeaf: Isolation and Communication in a Safe Operating System. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :21--39.
.
2020. Not Your Parents' Physical Address Space. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Decoupling Cores, Kernels, and Operating Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :17--31.
.
2014.