Reto Achermann

Experience

Awards and Recognitions

UBC Science Co-op Supervisor Recognition Award
2025/12/04. The University of British Columbia.

Distinguished Artifact Award
2025/04/02. 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems.

Distinguished Artifact Award
2024/11/04. 30th Symposium on Operating Systems Principles.

Distinguished Reviewer
2024/04/27. 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems.

Faculty of Science Excellence in Service Award
2024/03/04. The University of British Columbia.

Positive Teaching Letter
2023/03/06. Faculty of Science, The University of British Columbia.

Intel Best Paper Award
2022/06/27. 14th ACM Workshop on Hot Topics in Storage and File Systems.

Honorable Mention Distinguished Reviewer (Shadow PC)
2021/05/06. 16th European Conference on Computer Systems.

HiPEAC Paper Award
2016/04/03. 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems.

Professional Experience

Assistant Professor W-2
Technical University of Munich. Munich, Germany.
2026/03/01 - present

Assistant Professor
University of British Columbia. Vancouver (BC), Canada.
2024/07/01 - 2026/02/28

Postdoctoral Research Fellow
University of British Columbia. Vancouver (BC), Canada.
2020/12/01 - 2024/06/30

Research Assistant
ETH Zurich. Zurich, Switzerland.
2014/11/15 - 2020/11/15

Intern VMware Research Group
VMware, Inc.. Palo Alto (CA), USA.
2018/06/04 - 2018/09/14

Intern Systems Software
Hewlett-Packard Labs. Palo Alto (CA), USA.
2015/09/01 - 2015/12/12

Talks

Configuring the memory hardware, correctly!
DND Faculty Mixer

Velosiraptor: Code Synthesis for Memory Translation
ASPLOS '25

Safe and secure Systems: Sharing, Translations, and Device Interactions
TU Munich, Department of Computer Science

GPUs, Growth, and Green
Vancouver Sr. Women in Tech Event @ UBC CS

Why write code when you can synthesize address translations?
19th Workshop on Hot Topics in Operating Systems (HotOS'23)

Why program when you can automatically synthesize OS code?
Huawei Research Lab,   ETH Zurich,   EPFL

Fast Local Page Tables for NUMA Servers with Mitosis
ICSA Colloquium – University of Edinburgh

mmapx: Uniform Memory Protection in a Heterogeneous World
18th Workshop on Hot Topics in Operating Systems (HotOS'21)

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'20)

Memory Topology Models and Their Application in Operating Systems
Trustworthy Systems, Data 61 and University of New South Wales

Faithful Hardware Abstractions and Least-Privilege Memory Management
Lab for Advanced Systems Research (LASR), University of Texas at Austin,   Networks, Systems, and Security (NSS) Lab, University of British Columbia

Model-based system configuration and tasteful hardware
Systems Research Group, University of Cambridge

Provable Correct Memory Management
11th EuroSys Doctoral Workshop

​Machine-aware Atomic Broadcast Trees for Multicores​
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16)

Service

Program Committee / Reviewer

• 2027: OSDI'27 , EuroSys'27

• 2026: SOSP'26 , OSDI'26 , EuroSys'26

• 2025: ACM SRC'25 , KISV 2025 , USENIX ATC'25 , PLDI '25 , EuroSys'25

• 2024: EuroSys'24 , ASPLOS'24 , ACM SRC'24

• 2023: USENIX ATC'23 , EuroSys'23

• 2022: ASPLOS'22 , USENIX ATC'22 , IEEE Internet Computing

• 2021: USENIX ATC'21

Organizing Committee

• 2027: HotOS'27 (Treasurer)

• 2026: EuroSys'26 (Session Chair)

• 2025: EuroSys'25 (Session Chair)

• 2023: EuroSys'23 (Session Chair)

• 2022: USENIX ATC'22 (Session Chair)

• 2021: USENIX ATC'21 (Networking Co-Chair) , OSDI'21 (Networking Co-Chair)