

Reto Achermann
Postdoctoral Resarch Fellow
Systopia Lab
Department of Computer Science
University of British Columbia
Professional Experience
December 2020 - present
Postdoctoral Reserach Fellow
University of British Columbia - Systopia Lab
Vancouver (BC), Canada
Reference: Prof. Margo Seltzer, PhD
Responsibilities and Projects
- Large-scale evaluation of sparse decision tree algorithms
- Specification of translation hardware semantics
- Synthesis of system code interface with translation hardware using SMT solver
- Verus: Rust-based verification of system code
- Device deriver synthesis with behavior tries
- Teaching: CS508 - Graduate Operating Systems (Lecturer)
- Teaching: CS436A - Operating Systems Design and Implementation (Lecturer)
November 2014 - November 2020
Research Assistant
ETH Zurich - Systems Group
Zurich, Switzerland
Reference: Prof. Timothy Roscoe, PhD
Responsibilities and Projects
- Dissertation: On Memory Addressing - a more faithful hardware abstractions for modern operating systems.
- Barrelfish: Member of the core OS team working on device drivers, memory management, networking.
- Sockeye: Describing hardware as seen by software using a formal model specified in Isabelle/HOL
- Shoal: memory allocation strategies in a NUMA machine with knowledge of the access patterns.
- Smelt: automatically tuning message passing primitives to the machine hardware topology using measurements.
- Enzian: understanding the coherency protocol for the Enzian research computer.
- Advising multiple student Master's and Bachelor's projects.
- Teaching: Assistant / Tutor for multiple courses.
June 2018 - September 2018
Intern VMware Research Group
VMware, Inc. - VMware Research Group
Palo Alto (CA), United States
Reference: Jayneel Gandhi, PhD
Responsibilities and Projects
- Project: Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.
- Design and implementation of page-table replication in the Linux kernel.
September 2015 - December 2015
Intern Systems Software
Hewlett-Packard Labs - Systems Software Research Group
Palo Alto (CA), United States
Reference: Dejan S. Milojicic, PhD
Responsibilities and Projects
- Project: Consensus protocols and capabilities for the Machine.
June 2009 - November 2020
Staff Officer (Captain)
Swiss Armed Forces - Radio transmission and IT services.
Switzerland
Reference:
Responsibilities and Projects
- Leadership and management training.
- Planning and deployment of heterogeneous communication systems, IT systems and networks.
- Leading education modules and training exercises with up to 350 people.
Service
- ACM Sigops EuroSys 2024 (EuroSys '24): Program Committee
- ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '24): Program Committee
- Usenix Annual Technical Conference 2023 (ATC '23): Program Committee
- ACM Sigops EuroSys 2023 (EuroSys '23): Program Committee
- ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22 (ERC)): Program Committee
- Usenix Annual Technical Conference 2022 (ATC '22): Program Committee
- IEEE Internet Computing (IEEE Internet Computing): Reviewer
- Usenix Annual Technical Conference 2021 (ATC '21): Networking Co-chair
- USENIX Symposium on Operating Systems Design and Implementation 2021 (OSDI '21): Networking Co-chair
- Usenix Annual Technical Conference 2021 (ATC '21): Program Committee
- ACM Sigops EuroSys 2021 (EuroSys '21): Shadow Program Committee
Education
Master of Science (MSc) in Computer Science
ETH Zurich, Zurich, Switzerland
September 2013 - October 2014
Advisor: Prof. Timothy Roscoe
Specialization: Distributed Systems. Grade: 5.8 / 6.0 (with distinction)
Thesis: Message passing and bulk transport on heterogenous multiprocessors [ .www ] [ .pdf ]