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 ]
Exploring the Design Space of Isolation Mechanisms.
Sidhartha Agrawal, Shaurya Patel, Linh Pham, Arya Stevinson, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann and Margo Seltzer.
Proceedings of the 14th Workshop on Programming Languages and Operating Systems (PLOS '26).
[ .doi ]
[ .pdf ]
[ .bib ]
Topology-aware TLB Shootdown Protocols: It's more complicated than you think.
Ning Ding, Margo Seltzer and Reto Achermann.
Proceedings of the 14th Workshop on Programming Languages and Operating Systems (PLOS '26).
[ .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 ]
Towards Tractable Hardware Model Validation Against Real Hardware.
Rishika Varma Kalidindi and Reto Achermann.
Proceedings of the 14th Workshop on Programming Languages and Operating Systems (PLOS '26).
[ .doi ]
[ .pdf ]
[ .bib ]
Unifying eBPF across Platforms: Formal Semantics, Conformance Testing, and Specifications.
Yanze Li, Reto Achermann, Ivan Beschastnikh and Alexander J. Summers.
Proceedings of the 4th Workshop on EBPF and Kernel Extensions (eBPF'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 ]
