default search action

combined dblp search
author search
venue search
publication search

ask others

Reto Achermann

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2020
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Achermann20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Achermann20
Reto Achermann:
On Memory Addressing. ETH Zurich, Zürich, Switzerland, 2020

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SchultSGCAR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SchultSGCAR21
Jasmin Schult, Daniel David Schwyn, Michael Giardino, David A. Cock, Reto Achermann, Timothy Roscoe:
Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. 20(5s): 84:1-84:21 (2021)
2019
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/taco/AzrielHARHMRWFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taco/AzrielHARHMRWFM19
Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic:
Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. 16(1): 5:1-5:26 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/0002ACHZL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/0002ACHZL23
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada:
Beyond isolation: OS verification as a foundation for correct applications. HotOS 2023: 158-165
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/AchermannKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/AchermannKS23
Reto Achermann, Ilias Karimalis, Margo I. Seltzer:
Why write address translation OS code yourself when you can synthesize it? HotOS 2023: 174-180
[c18]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/HanceZLACSZHHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/HanceZLACSZHHP23
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno:
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI 2023: 911-929
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/plos/WangNAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/WangNAS23
Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer:
Synthesizing Device Drivers with Ghost Writer. PLOS@SOSP 2023: 10-17
2022
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/McTavishZAKCRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/McTavishZAKCRS22
Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer:
Fast Sparse Decision Tree Optimization via Reference Ensembles. AAAI 2022: 9604-9613
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/CockRSGTHHKLMAA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/CockRSGTHHKLMAA22
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:
Enzian: an open, general, CPU/FPGA platform for systems software research. ASPLOS 2022: 434-451
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hotstorage/BhardwajTPAZS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotstorage/BhardwajTPAZS22
Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman:
Cache-coherent accelerators for persistent memory crash consistency. HotStorage 2022: 37-44
2021
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/PanwarABBGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/PanwarABBGG21
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi:
Fast local page-tables for virtualized NUMA servers with vMitosis. ASPLOS 2021: 194-210
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/AchermannCHHHRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/AchermannCHHHRS21
Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn:
mmapx: uniform memory protection in a heterogeneous world. HotOS 2021: 159-166
[c11]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/Bhardwaj0ACKSTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/Bhardwaj0ACKSTZ21
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger:
NrOS: Effective Replication and Sharing in an Operating System. OSDI 2021: 295-312
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/AchermannCHHHRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/AchermannCHHHRS21
Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn:
Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP 2021: 69-75
2020
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/AchermannPBRG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/AchermannPBRG20
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi:
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. ASPLOS 2020: 283-300
2018
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/AchermannHCR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AchermannHCR18
Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe:
Physical Addressing on Real Hardware in Isabelle/HOL. ITP 2018: 1-19
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/AchermannDFHMNR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/AchermannDFHMNR17
Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alex Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson:
Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS 2017: 118-124
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/HumbelACR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/HumbelACR17
Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe:
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP 2017: 8-14
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AchermannHCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AchermannHCR17
Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe:
Formalizing Memory Accesses and Interrupts. MARS@ETAPS 2017: 66-116
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/HajjMZMAFHRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/HajjMZMAFHRS16
Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan:
SpaceJMP: Programming with Multiple Virtual Address Spaces. ASPLOS 2016: 353-368
[c3]
- view
- export record
  dblp key:
  - conf/osdi/KaestleAHHRR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/KaestleAHHRR16
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe:
Machine-Aware Atomic Broadcast Trees for Multicores. OSDI 2016: 33-48
2015
[c2]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/hotos/GerberZAKRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/GerberZAKRM15
Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic:
Not Your Parents' Physical Address Space. HotOS 2015
[c1]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/KaestleAR015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/KaestleAR015
Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris:
Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX ATC 2015: 263-276

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09291
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09291
Sidhartha Agrawal, Reto Achermann, Margo I. Seltzer:
OSmosis: No more Déjà vu in OS isolation. CoRR abs/2309.09291 (2023)
2021
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00798
Hayden McTavish, Chudi Zhong, Reto Achermann, Ilias Karimalis, Jacques Chen, Cynthia Rudin, Margo I. Seltzer:
Fast Sparse Decision Tree Optimization via Reference Ensembles. CoRR abs/2112.00798 (2021)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-02737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-02737
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe:
Secure Memory Management on Modern Hardware. CoRR abs/2009.02737 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-08707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08707
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe:
A Least-Privilege Memory Protection Model for Modern Hardware. CoRR abs/1908.08707 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-05398
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-05398
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi:
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. CoRR abs/1910.05398 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08367
Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic:
Cichlid: Explicit physical memory management for large machines. CoRR abs/1911.08367 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08773
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08773
Roni Haecki, Lukas Humbel, Reto Achermann, David A. Cock, Daniel David Schwyn, Timothy Roscoe:
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR abs/1911.08773 (2019)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.