Reto Achermann
Postdoctoral Resarch Fellow
Systopia Lab
Department of Computer Science
University of British Columbia
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
- 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
