Reto Achermann

According to our database, Reto Achermann authored at least 29 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2023

OSmosis: No more Déjà vu in OS isolation.

Sidhartha Agrawal, Reto Achermann, Margo I. Seltzer

CoRR, 2023

Synthesizing Device Drivers with Ghost Writer.

Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Why write address translation OS code yourself when you can synthesize it?

Reto Achermann, Ilias Karimalis, Margo I. Seltzer

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Cache-coherent accelerators for persistent memory crash consistency.

Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman

Proceedings of the HotStorage '22: 14th ACM Workshop on Hot Topics in Storage and File Systems, Virtual Event, June 27, 2022

Enzian: an open, general, CPU/FPGA platform for systems software research.

David A. 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

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

Fast Sparse Decision Tree Optimization via Reference Ensembles.

Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Declarative Power Sequencing.

Jasmin Schult, Daniel David Schwyn, Michael Giardino, David A. Cock, Reto Achermann, Timothy Roscoe

ACM Trans. Embed. Comput. Syst., 2021

Generating correct initial page tables from formal hardware descriptions.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

NrOS: Effective Replication and Sharing in an Operating System.

Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

mmapx: uniform memory protection in a heterogeneous world.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Fast local page-tables for virtualized NUMA servers with vMitosis.

Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

On Memory Addressing.

Reto Achermann

PhD thesis, 2020

Secure Memory Management on Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2020

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.

Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Memory-Side Protection With a Capability Enforcement Co-Processor.

Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic

ACM Trans. Archit. Code Optim., 2019

CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer.

Roni Haecki, Lukas Humbel, Reto Achermann, David A. Cock, Daniel David Schwyn, Timothy Roscoe

CoRR, 2019

Cichlid: Explicit physical memory management for large machines.

Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic

CoRR, 2019

A Least-Privilege Memory Protection Model for Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2019

2018

Physical Addressing on Real Hardware in Isabelle/HOL.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Formalizing Memory Accesses and Interrupts.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Towards Correct-by-Construction Interrupt Routing on Real Hardware.

Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Separating Translation from Protection in Address Spaces with Dynamic Remapping.

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

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Machine-Aware Atomic Broadcast Trees for Multicores.

Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

SpaceJMP: Programming with Multiple Virtual Address Spaces.

Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Shoal: Smart Allocation and Replication of Memory For Parallel Programs.

Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Not Your Parents' Physical Address Space.

Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015