Reto Achermann
Assistant Professor
Systems Research Group
TUM School of Computation, Information and Technology
Reto Achermann
Recent and Selected Publications
Some of my recent and selected publications are listed below. See "All Publications" for a complete list of publications.
Dynamic NUMA-Aware Replication for Data Structures.
Erika Hunhoff, Zack McKevitt, Ankit Bhardwaj, Reto Achermann, Gerd Zellweger, Marcos Aguilera and Eric Keller.
Proceedings of the 40th International Parallel & Distributed Processing Symposium (IPDPS '26).
[ .doi ]
[ .pdf ]
[ .bib ]
Agentic Workflows are Serverless Applications, so deploy them that way!.
Ian Dougherty, Natalie Lambert, Joshua Wang, Ethan Xu, Reto Achermann and Alexandra Fedorova.
SIGOPS Op. Syst. Rev..
[ .doi ]
[ .pdf ]
[ .bib ]
Caravan: Asynchronous Test-Time Adaptation for Faster Inference.
Jiayin Kralik, Ethan Zhao, Anrui Liu, Reto Achermann, Ivan Beschastnikh and Evan Shelhamer.
Third Workshop on Test-Time Updates (Main Track) (TTU ’26).
[ .doi ]
[ .pdf ]
[ .bib ]
Velosiraptor: Code Synthesis for Memory Translation.
Reto Achermann, Em Chu, Ryan Mehri, Ilias Karimalis and Margo Seltzer.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS '25).
[ .doi ]
[ .pdf ]
[ .bib ]
Comparing Isolation Mechanisms with OSmosis.
Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann and Margo I. Seltzer.
Proceedings of the 13th Workshop on Programming Languages and Operating Systems (PLOS '25).
[ .doi ]
[ .pdf ]
[ .bib ]
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 and Bryan Parno.
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles (SOSP '24).
[ .doi ]
[ .pdf ]
[ .bib ]
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
Travis Hance, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell and Bryan Parno.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Why write address translation OS code yourself when you can synthesize it?.
Reto Achermann, Ilias Karimalis and Margo Seltzer.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Beyond isolation: OS verification as a foundation for correct applications.
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger and Andrea Lattuada.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Synthesizing Device Drivers with Ghost Writer.
Bingyao Wang, Sepehr Noorafshan, Reto Achermann and Margo Seltzer.
Proceedings of the 12th Workshop on Programming Languages and Operating Systems (PLOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
