Prof. Dr. Reto Achermann

Professur

School

TUM School of Computation, Information and Technology

Kontakt

Wissenschaftliche Laufbahn und Forschungsgebiete

Prof. Reto Achermann (*1989) forscht auf dem Gebiet der Computersysteme mit Fokus auf resilienten Betriebssystemen und angewandten formalen Methoden. Seine Forschungsinteressen liegen im Bereich des effizienten Ressourcenmanagements sowie in der Interaktion zwischen Software und Hardware, wobei Softwareverifikation die Korrektheit der Computersysteme sicherstellt.

Prof. Achermann studierte Informatik an der ETH Zürich mit Promotion in 2020. Von 2020 bis 2024 war er Postdoktorand am Informatik-Department der Universität von Britisch-Kolumbien in Vancouver, Kanada, an der er anschließend von 2024 bis 2026 Assistenzprofessor war. Seit 2026 ist Prof. Achermann als Professor für resiliente Betriebssysteme an der TUM School of Computation, Information and Technology tätig.

Wichtigste Auszeichnungen

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)

Schlüsselpublikationen (alle Publikationen)

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

Bei Änderungs- oder Aktualisierungswünschen wenden Sie sich bitte an Franz Langer.