Biblio

Export 5 results:
Filters: Author is Reto Achermann  [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.
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.
2016
Kaestle S, Achermann R, Haecki R, Hoffmann M, Ramos S, Roscoe T.  2016.  Machine-Aware Atomic Broadcast Trees for Multicores. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :33--48.
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).
Kaestle S, Achermann R, Roscoe T, Harris T.  2015.  Shoal: Smart Allocation and Replication of Memory For Parallel Programs. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :263--276.