• Reto Achermann (ETH Zurich); Chris Dalton, Paolo Faraboschi (Hewlett Packard Labs); Moritz Hoffmann (ETH Zurich); Dejan Milojicic, Geoffrey Ndu (Hewlett Packard Labs); Alexander Richardson (University of Cambridge); Timothy Roscoe (ETH Zurich); Adrian L. Shaw (Hewlett Packard Labs); Robert N. M. Watson (University of Cambridge) Separating Translation from Protection in Address Spaces with Dynamic Remapping . Mai 2017. 16th Workshop on Hot Topics in Operating Systems (HOTOS'XVI), Whistler, British Columbia, Canada. [ .bib ] [ .pdf ]
  • Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe ETH Zurich. Formalizing Memory Accesses and Interrupts . April 2017. 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden. [ .bib ] [ .pdf ]
  • Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich. Machine-Aware Atomic Broadcast Trees for Multicores . November 2016. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16). [ .bib ] [ .pdf ]
  • Izzat El Hajj (University of Illinois at Champaign-Urbana), Alexander Merritt (Georgia Institute of Technology), Gerd Zellweger (ETH Zurich), Dejan Milojicic (Hewlett Packard Labs), Reto Achermann (ETH Zürich), Wen-Mei Hwu (University of Illinois at Champaign-Urbana), Karsten Schwan (Georgia Institute of Technology), Timothy Roscoe (ETH Zurich), and Paolo Faraboschi (Hewlett Packard Labs) SpaceJMP: Programming with Multiple Virtual Address Spaces . April 2016. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XXI). [ .bib ] [ .pdf ]
  • Stefan Kaestle, Reto Achermann and Timothy Roscoe, ETH Zurich; Tim Harris, Oracle Labs, Cambridge. Shoal: Smart Allocation and Replication of Memory For Parallel Programs . July 2015. 2015 USENIX Annual Technical Conference. [ .bib ] [ .pdf ]
  • Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe ETH Zurich; and Dejan Milojicic (HP Labs, Palo Alto). Not Your Parents' Physical Address Space. May 2015. 15th Workshop on Hot Topics in Operating Systems (HotOS XV). [ .bib ] [ .pdf ]



  • Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic and Reto Achermann Memory management with versioning of objects. WO2017131789A1. January 2016. [ .WWW ]



  • Reto Achermann. Barrelfish USB Subsystem. Bachelor's thesis, ETH Zurich, August 2013. [ .pdf ]
  • Reto Achermann. Message passing and bulk transport on heterogenous multiprocessors. Master's thesis, ETH Zurich, October 2014.

Technical Reports

  • Reto Achermann, Antoine Kaufmann. Bulk Transfer over Network. Distributed Systems Lab, ETH Zurich, February 2014. [ .pdf ]

Talks and Posters


  • Reto Achermann Model based system configuration and tasteful hardware July 2017. Computer Lab, University of Cambridge. Cambridge, United Kingdom.
  • Reto Achermann Formalizing Address Spaces and Interrupts April 2017. 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017). Upsala, Schweden.
  • Reto Achermann Formalizing Provable Correct Memory Management April 2017. EuroSys Doctoral Workshop. Belgrade, Serbia.
  • Reto Achermann Machine-Aware Atomic Broadcast Trees for Multicores November 2016. Operatingsystems Design and Implementation (OSDI'16). Savannah, GA, United States of America.


  • Izzat El Hajj, Alexander Merritt , Gerd Zellweger, Dejan Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei Hwu, Timothy Roscoe and Karsten Schwan. SpaceJMP: Programming with Multiple Virtual Address Spaces. April 2016. ASPLOS 2016 [ .pdf ]
  • Reto Achermann, Stefan Kaestle, Moritz Hoffmann and Timothy Roscoe. Naucrates October 2015. SOSP 2015. [ .pdf ]
  • Stefan Kaestle, Reto Achermann, Timothy Roscoe (ETH Zurich) and Tim Harris (Oracle Labs, Cambridge, UK). Shoal: smart allocation and replication of memory for parallel programs. April 2015. EuroSys 2015. [ .pdf ]


Reto Achermann

acreto [at]

+41 44 633 70 15

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