Reto Achermann
Assistant Professor
Systopia Lab
Department of Computer Science
University of British Columbia
Reto Achermann
Recent and Selected Publications
Some of my recent and selected publications are listed below. See "All Publications" for a complete list of publications.
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
Travis Hance, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell and Bryan Parno.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Synthesizing Device Drivers with Ghost Writer.
Bingyao Wang, Sepehr Noorafshan, Reto Achermann and Margo Seltzer.
Proceedings of the 12th Workshop on Programming Languages and Operating Systems (PLOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Why write address translation OS code yourself when you can synthesize it?.
Reto Achermann, Ilias Karimalis and Margo Seltzer.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Beyond isolation: OS verification as a foundation for correct applications.
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger and Andrea Lattuada.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS'23).
[ .doi ]
[ .pdf ]
[ .bib ]
Enzian: An Open, General, CPU/FPGA Platform for Systems Software Research.
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso and Timothy Roscoe.
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22).
[ .doi ]
[ .pdf ]
[ .bib ]
Fast Sparse Decision Tree Optimization via Reference Ensembles.
Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin and Margo Seltzer.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22).
[ .doi ]
[ .pdf ]
[ .bib ]
Cache-Coherent Accelerators for Persistent Memory Crash Consistency.
Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger and Ryan Stutsman.
Proceedings of the 14th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage'22).
[ .doi ]
[ .pdf ]
[ .bib ]
NrOS: Effective Replication and Sharing in an Operating System.
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai and Gerd Zellweger.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI'21).
[ .doi ]
[ .pdf ]
[ .bib ]
Fast Local Page-Tables for Virtualized NUMA Servers with vMitosis.
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath and Jayneel Gandhi.
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'21).
[ .doi ]
[ .pdf ]
[ .bib ]
Declarative Power Sequencing.
Jasmin Schult, Daniel Schwyn, Michael Giardino, David Cock, Reto Achermann and Timothy Roscoe.
ACM TECS.
[ .doi ]
[ .pdf ]
[ .bib ]
