Reto Achermann

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 27

Top Topics

Memory Management

Learning Red Hat Linux

Top Venues

Publications

Sidhartha Agrawal, Reto Achermann, Margo I. Seltzer
OSmosis: No more Déjà vu in OS isolation. CoRR (2023)
Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer
Synthesizing Device Drivers with Ghost Writer. PLOS@SOSP (2023)
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
Beyond isolation: OS verification as a foundation for correct applications. HotOS (2023)
Reto Achermann, Ilias Karimalis, Margo I. Seltzer
Why write address translation OS code yourself when you can synthesize it? HotOS (2023)
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI (2023)
Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer
Fast Sparse Decision Tree Optimization via Reference Ensembles. AAAI (2022)
Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman
Cache-coherent accelerators for persistent memory crash consistency. HotStorage (2022)
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe
Enzian: an open, general, CPU/FPGA platform for systems software research. ASPLOS (2022)
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger
NrOS: Effective Replication and Sharing in an Operating System. OSDI (2021)
Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer
Fast Sparse Decision Tree Optimization via Reference Ensembles. CoRR (2021)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
mmapx: uniform memory protection in a heterogeneous world. HotOS (2021)
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi
Fast local page-tables for virtualized NUMA servers with vMitosis. ASPLOS (2021)
Jasmin Schult, Daniel David Schwyn, Michael Giardino, David Cock, Reto Achermann, Timothy Roscoe
Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP (2021)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
Secure Memory Management on Modern Hardware. CoRR (2020)
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. ASPLOS (2020)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
A Least-Privilege Memory Protection Model for Modern Hardware. CoRR (2019)
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. CoRR (2019)
Roni Haecki, Lukas Humbel, Reto Achermann, David Cock, Daniel David Schwyn, Timothy Roscoe
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR (2019)
Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic
Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. 16 (1) (2019)
Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
Cichlid: Explicit physical memory management for large machines. CoRR (2019)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Physical Addressing on Real Hardware in Isabelle/HOL. ITP (2018)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Formalizing Memory Accesses and Interrupts. MARS@ETAPS (2017)
Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alex Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson
Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS (2017)
Lukas Humbel, Reto Achermann, David Cock, Timothy Roscoe
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP (2017)
Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan
SpaceJMP: Programming with Multiple Virtual Address Spaces. ASPLOS (2016)
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe
Machine-Aware Atomic Broadcast Trees for Multicores. OSDI (2016)
Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
Not Your Parents' Physical Address Space. HotOS (2015)
Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris
Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX Annual Technical Conference (2015)