About Me

Introduction

I am a Postdoctoral Research Fellow working with Prof. Margo Seltzer at the Systopia Lab at the Department of Computer Science of the University of British Columbia in Vancouver Canada.

I did my PhD with Prof. Timothy Roscoe in the Systems Group at the Department of Computer Science, ETH Zurich. My PhD was about formally specifying the memory subsystem of a hardware platform as it is seen by software.

Updates

Latest News and Upcoming Travel

  • February 24, 2022 - The paper 'Enzian: an open, general, CPU/FPGA platform for systems software research' to appear at ASPLOS'22
  • January 13, 2021 - The paper 'Fast Sparse Decision Tree Optimization via Reference Ensembles' got accepted at AAAI '22
  • Oct 7, 2021 - The paper 'Generating correct initial page tables from formal hardware descriptions' got accepted at PLOS '21
  • August 17, 2021 - Our paper 'Declarative Power Sequencing' will appear at EMSOFT

Contact

Reto Achermann

achreto [at] cs.ubc.ca

The University of British Columbia
Dept. of Computer Science
201-2366 Main Mall
Vancouver, BC V6T 1Z4
Canada