Reto Achermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
8
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Untitled record | Reto Achermann, Em Chu, Ryan Mehri, Ilias Karimalis, Margo I. Seltzer |
| 2025 | PLOS | Comparing Isolation Mechanisms with OSmosis. | Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann, Margo I. Seltzer |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 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 | HotOS | Why write address translation OS code yourself when you can synthesize it? | Reto Achermann, Ilias Karimalis, Margo I. Seltzer |
| 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 |
| 2023 | PLOS | Synthesizing Device Drivers with Ghost Writer. | Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer |
| 2022 | AAAI | Fast Sparse Decision Tree Optimization via Reference Ensembles. | Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer |
| 2022 | ASPLOS | Enzian: an open, general, CPU/FPGA platform for systems software research. | David A. Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe |
| 2021 | ASPLOS | Fast local page-tables for virtualized NUMA servers with vMitosis. | Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi |
| 2021 | HotOS | mmapx: uniform memory protection in a heterogeneous world. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 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 | Generating correct initial page tables from formal hardware descriptions. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2020 | ASPLOS | Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. | Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi |
| 2018 | ITP | Physical Addressing on Real Hardware in Isabelle/HOL. | Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe |
| 2017 | HotOS | Separating Translation from Protection in Address Spaces with Dynamic Remapping. | Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson |
| 2017 | SOSP | Towards Correct-by-Construction Interrupt Routing on Real Hardware. | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
| 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 | OSDI | Machine-Aware Atomic Broadcast Trees for Multicores. | Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe |
| 2015 | HotOS | Not Your Parents' Physical Address Space. | Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic |
| 2015 | USENIX | Shoal: Smart Allocation and Replication of Memory For Parallel Programs. | Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris |