Assistant Professor
Technical University of Munich
Email: reto.achermann@tum.de
I am an Assistant Professor of Resilient Operating Systems at the Technical University of Munich (TUM). I’m part of the Systems Research Group.
Previously, I was an Assistant Professor at the Computer Science Department at the University of British Columbia, Vancouver, BC, Canada.
I completed my doctorate (Dr. sc. ETH Zurich) under the supervision of Prof. Timothy Roscoe in the Systems Group at ETH Zurich.
I try to keep my personal website or my CV up to date.
Research Interests
I’m working at the intersection of hardware, system software, and formal methods to build systems that perform well while also operating as specified. My focus lies specifically on operating systems and hypervisors that form the bedrock of today’s compute infrastructure, as well as runtime systems.
Select Publications
- Velosiraptor: Code Synthesis for Memory Translation. (ASPLOS’25)
- Verus: A Practical Foundation for Systems Verification. (SOSP’24)
- Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. (OSDI’23)
- NrOS: Effective Replication and Sharing in an Operating System. (2021)
- Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. (ASPLOS’20)
> Please see a complete list of my publications here or visit DBLP / Google Scholar.
Recent Talks
TBD.
> Please find the list of invited talks here.
Honor and Awards
- Distinguished Artifact Award (2x)
- Intel Best Paper Award
- HiPEAC Paper Award
- Faculty of Science Excellence in Service Award
Recent Service
Organizer
- Treasurer: HotOS 2027
- Networking Co-Chair: USENIX ATC’21, OSDI’21
Scientific Reviewer
Program Committee Member
- 2026: EuroSys, OSDI
- 2025: EuroSys, PLDI, USENIX ATC, KISV, ACM SRC
- 2024: ASPLOS, EuroSys, ACM SRC
- 2023: USENIX ATC, EuroSys, ACM SRC
- 2022: USENIX ATC, ASPLOS
- 2021: USENIX ATC