Reto Achermann

32 papers A* 9A 5B 1Journal 9Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Comparing Isolation Mechanisms with OSmosis. PLOS@SOSP Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann, Margo I. Seltzer
2024	A*	`conf`	Verus: A Practical Foundation for Systems Verification. SOSP Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno
2023	A	`conf`	Beyond isolation: OS verification as a foundation for correct applications. HotOS Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
2023	J	`jnl`	OSmosis: No more Déjà vu in OS isolation. CoRR Sidhartha Agrawal, Reto Achermann, Margo I. Seltzer
2023	A*	`conf`	Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
2023	—	`conf`	Synthesizing Device Drivers with Ghost Writer. PLOS@SOSP Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer
2023	A	`conf`	Why write address translation OS code yourself when you can synthesize it? HotOS Reto Achermann, Ilias Karimalis, Margo I. Seltzer
2022	—	`conf`	Cache-coherent accelerators for persistent memory crash consistency. HotStorage Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman
2022	A*	`conf`	Enzian: an open, general, CPU/FPGA platform for systems software research. ASPLOS David A. Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe
2022	A*	`conf`	Fast Sparse Decision Tree Optimization via Reference Ensembles. AAAI Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer
2021	J	`jnl`	Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. Jasmin Schult, Daniel David Schwyn, Michael Giardino, David A. Cock, Reto Achermann, Timothy Roscoe
2021	J	`jnl`	Fast Sparse Decision Tree Optimization via Reference Ensembles. CoRR Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer
2021	A*	`conf`	Fast local page-tables for virtualized NUMA servers with vMitosis. ASPLOS Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi
2021	—	`conf`	Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
2021	A*	`conf`	NrOS: Effective Replication and Sharing in an Operating System. OSDI Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger
2021	A	`conf`	mmapx: uniform memory protection in a heterogeneous world. HotOS Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
2020	A*	`conf`	Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. ASPLOS Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
2020	—	`—`	On Memory Addressing. Reto Achermann
2020	J	`jnl`	Secure Memory Management on Modern Hardware. CoRR Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe
2019	J	`jnl`	A Least-Privilege Memory Protection Model for Modern Hardware. CoRR Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe
2019	J	`jnl`	Cichlid: Explicit physical memory management for large machines. CoRR Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
2019	J	`jnl`	CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR Roni Haecki, Lukas Humbel, Reto Achermann, David A. Cock, Daniel David Schwyn, Timothy Roscoe
2019	J	`jnl`	Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic
2019	J	`jnl`	Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. CoRR Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
2018	B	`conf`	Physical Addressing on Real Hardware in Isabelle/HOL. ITP Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe
2017	—	`conf`	Formalizing Memory Accesses and Interrupts. MARS Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe
2017	A	`conf`	Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson
2017	—	`conf`	Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe
2016	A*	`conf`	Machine-Aware Atomic Broadcast Trees for Multicores. OSDI Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe
2016	A*	`conf`	SpaceJMP: Programming with Multiple Virtual Address Spaces. ASPLOS Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan
2015	A	`conf`	Not Your Parents' Physical Address Space. HotOS Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
2015	—	`conf`	Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX ATC Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris