Gerd Zellweger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2014–2023
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | HotOS | Beyond isolation: OS verification as a foundation for correct applications. | Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada |
| 2023 | OSDI | Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. | Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno |
| 2022 | NSDI | How to diagnose nanosecond network latencies in rich end-host stacks. | Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Timothy Merrifield, Sujata Banerjee, Timothy Roscoe |
| 2021 | OSDI | NrOS: Effective Replication and Sharing in an Operating System. | Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger |
| 2021 | SOSP | Isolation in Rust: What is Missing? | Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger |
| 2020 | ASPLOS | IOctopus: Outsmarting Nonuniform DMA. | Igor Smolyar, Alex Markuze, Boris Pismenny, Haggai Eran, Gerd Zellweger, Austin Bolen, Liran Liss, Adam Morrison, Dan Tsafrir |
| 2020 | OSDI | RedLeaf: Isolation and Communication in a Safe Operating System. | Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev |
| 2016 | ASPLOS | SpaceJMP: Programming with Multiple Virtual Address Spaces. | Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan |
| 2016 | DaMoN | Customized OS support for data-processing. | Jana Giceva, Gerd Zellweger, Gustavo Alonso, Timothy Roscoe |
| 2015 | HotOS | Not Your Parents' Physical Address Space. | Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic |
| 2014 | OSDI | Decoupling Cores, Kernels, and Operating Systems. | Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe |