Professorial Faculty
Technical University of Munich

Prof. Dr. Reto Achermann

Professorship

Resilient Computing Systems

School

TUM School of Computation, Information and Technology

Contact Details

Business card at TUMonline

Academic Career and Research Areas

Prof. Reto Achermann (*1989) conducts research in computer systems with focus on resilient operating systems and applied formal methods. His research interests are in efficient resource management and the interaction between software and hardware, where software verification ensures the correctness of computer systems.

Prof. Achermann studied Computer Science at ETH Zurich where he got his doctoral degree in 2020. Between 2020 and 2024, he was a Postdoctoral Research Fellow at the Computer Science Department of the University of British Columbia where he also was an Assistant Professor between 2024 and 2026. Since 2026, Prof. Achermann is Professor for Resilient Operating Systems at the TUM School of Computation, Information and Technology.

Awards

  • Distinguished Artifact Award. 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’24) (2024)
  • Distinguished Artifact Award. 30th Symposium on Operating Systems Principles (SOSP’23) (2023)
  • Intel Best Paper Award. 14th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage ‘22) (2022)
  • Faculty of Science Excellence in Service Award. The University of British Columbia (2024)
  • HiPEAC Paper Award. 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’16) (2016)

Key Publications (all publications)

Reto Achermann, Em Chu, Ryan Mehri, Ilias Karimalis, and Margo Seltzer. 2025. Velosiraptor: Code Synthesis for Memory Translation. Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. Association for Computing Machinery, New York, NY, USA, 1365–1381.

Abstract

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, and Bryan Parno. 2024. Verus: A Practical Foundation for Systems Verification. In Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles (SOSP '24). Association for Computing Machinery. 438–454.

Abstract

Travis Hance, Yi Zhou, Andrea Lattuad, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, and Bryan Parno. 2023. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. In Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23). USENIX Association. 911–929.

Abstract

Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, and Gerd Zellweger. 2021. NrOS: Effective Replication and Sharing in an Operating System. In Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21). USENIX Association. 295–312.

Abstract

Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, and Jayneel Gandhi. 2020. Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '20). Association for Computing Machinery, New York, NY, USA, 283–300.

Abstract

If you wish your profile to be changed or updated please contact Franz Langer.