Biblio

Export 6 results:
Filters: Author is Gerd Zellweger  [Clear All Filters]
2023
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B.  2023.  Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
2022
Haecki R, Mysore RNiranjan, Suresh L, Zellweger G, Gan B, Merrifield T, Banerjee S, Roscoe T.  2022.  How to diagnose nanosecond network latencies in rich end-host stacks. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :861--877.
2021
Bhardwaj A, Kulkarni C, Achermann R, Calciu I, Kashyap S, Stutsman R, Tai A, Zellweger G.  2021.  NrOS: Effective Replication and Sharing in an Operating System. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :295--312.
2020
Narayanan V, Huang T, Detweiler D, Appel D, Li Z, Zellweger G, Burtsev A.  2020.  RedLeaf: Isolation and Communication in a Safe Operating System. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :21--39.
2015
Gerber S, Zellweger G, Achermann R, Kourtis K, Roscoe T, Milojicic D.  2015.  Not Your Parents' Physical Address Space. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Zellweger G, Gerber S, Kourtis K, Roscoe T.  2014.  Decoupling Cores, Kernels, and Operating Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :17--31.