Home | Publications and Talks

Conference Papers

  • Physical Addressing on Real Hardware in Isabelle/HOL.
    Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe.
    ITP'18. [ .doi ] [ .pdf ] [ .bib ]
  • Formalizing Memory Accesses and Interrupts.
    Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe.
    MARS'17. [ .doi ] [ .pdf ] [ .bib ]
  • Towards Correct-by-Construction Interrupt Routing on Real Hardware.
    Lukas Humbel, Reto Achermann, David Cock and Timothy Roscoe.
    PLOS'17. [ .doi ] [ .pdf ] [ .bib ]
  • Separating Translation from Protection in Address Spaces with Dynamic Remapping.
    Reto Achermann, Chris Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw and Robert N. M. Watson.
    HotOS '17. [ .doi ] [ .pdf ] [ .bib ]
  • Machine-aware Atomic Broadcast Trees for Multicores.
    Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos and Timothy Roscoe.
    OSDI'16. [ .doi ] [ .pdf ] [ .bib ]
  • SpaceJMP: Programming with Multiple Virtual Address Spaces.
    Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei Hwu, Timothy Roscoe and Karsten Schwan.
    ASPLOS '16. [ .doi ] [ .pdf ] [ .bib ]
  • Shoal: Smart Allocation and Replication of Memory for Parallel Programs.
    Stefan Kaestle, Reto Achermann, Timothy Roscoe and Tim Harris.
    USENIX ATC '15. [ .doi ] [ .pdf ] [ .bib ]
  • Not Your Parents' Physical Address Space.
    Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe and Dejan Milojicic.
    HotOS'15. [ .doi ] [ .pdf ] [ .bib ]

Journal Articles

  • 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 and Dejan Milojicic.
    ACM TACO. [ .doi ] [ .pdf ] [ .bib ]

Preprints

  • CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer.
    Roni Haecki, Lukas Humbel, Reto Achermann, David Cock, Daniel Schwyn and Timothy Roscoe.
    arXiv:1911.08773. [ .doi ] [ .pdf ] [ .bib ]
  • Cichlid: Explicit physical memory management for large machines.
    Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe and Dejan Milojicic.
    arXiv:1911.08367. [ .doi ] [ .pdf ] [ .bib ]
  • A Least-Privilege Memory Protection Model for Modern Hardware.
    Reto Achermann, Nora Hossle, Lukas Humbel, Daniel Schwyn, David Cock and Timothy Roscoe.
    arXiv:1908.08707. [ .doi ] [ .pdf ] [ .bib ]
  • Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.
    Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe and Jayneel Gandhi.
    arXiv:1910.05398. [ .doi ] [ .pdf ] [ .bib ]
  • Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines (Poster).
    Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe and Jayneel Gandhi.
    OSDI'18:Poster Sessions. [ .doi ] [ .pdf ] [ .bib ]
  • Sockeye: Formally Describing Hardware as Seen by Software (Poster).
    Reto Achermann, Lukas Humbel, Roni Haecki, David Cock and Timothy Roscoe.
    OSDI'18:Poster Sessions. [ .doi ] [ .pdf ] [ .bib ]
  • Enzian: a research computer for datacenter and rackscale computing (Poster).
    David Cock, David Sidler, Muhsen Owaida, Reto Achermann, Tobias Grosser, Zeke Wang, Amit Kulkarni, Alain Denzler, Adam Turowski, Abishek Ramdas, Anastasiia Ruzhanskaia, Timothy Roscoe and Gustavo Alonso.
    OSDI'18:Poster Sessions. [ .doi ] [ .pdf ] [ .bib ]
  • Formalizing Address Space Interactions (Poster).
    Reto Achermann and Timothy Roscoe.
    OSDI'16:Poster Sessions. [ .doi ] [ .pdf ] [ .bib ]

Patents

  • Transparent Self-Replicating Page Tables in Computing Systems.
    Reto Achermann and Jayneel Gandhi. Pending. [ .www ]
  • Interoperable capabilities.
    Reto Achermann, Maurice Bailleu, Dejan S. Milojicic and Gabriel Parmer. US20170329526A1. [ .www ]
  • Memory management with versioning of objects.
    Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic and Reto Achermann. WO2017131789A1. [ .www ]

Thesis

  • Message Passing and Bulk Transport on Heterogenous Multiprocessors.
    Reto Achermann.
    2014. Master's Thesis. Department of Computer Science, ETH Zurich. Switzerland.
    [ .doi ] [ .pdf ] [ .bib ]
  • Barrelfish USB Subsystem.
    Reto Achermann.
    2013. Bachelor's Thesis. Department of Computer Science, ETH Zurich. Switzerland.
    [ .doi ] [ .pdf ] [ .bib ]

Talks

  • Realistic Hardware Abstractions and Least-Privilege Memory Management in Operating Systems.
    Networks, Systems, and Security (NSS) Lab, University of British Columbia, Canada. November 01, 2019.
    [ .slides ]
  • Model based system configuration and tasteful hardware.
    Systems Research Group, University of Cambridge, Cambridge, UK. July 06, 2017.
    [ .slides ]
  • Provable Correct Memory Management.
    11th EuroSys Doctoral Workshop. April 23, 2017.
    [ .slides ]
  • Smelt: ​Machine-aware Atomic Broadcast Trees for Multicores​.
    12th USENIX Symposium on Operating Systems Design and Implementation. November 2, 2016.
    [ .slides ]

Posters

Contact

Reto Achermann

acreto [at] inf.ethz.ch

+41 44 633 70 15

Dept. of Computer Science
CAB E 69, ETH Zürich
Universitätstrasse 6
8092 Zürich
Switzerland