About Me


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.


Latest News and Upcoming Travel

  • June 28, 2022 - The paper 'Cache-Coherent Accelerators for Persistent Memory Crash Consistency' has received the Intel best paper award at HotStorage '22.
  • 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


Reto Achermann

achreto [at] cs.ubc.ca

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