![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Reto Achermann
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c20]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]Reto Achermann
, Ilias Karimalis
, Margo I. Seltzer
:
Why write address translation OS code yourself when you can synthesize it? HotOS 2023: 174-180 - [c18]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]Bingyao Wang
, Sepehr Noorafshan
, Reto Achermann
, Margo I. Seltzer
:
Synthesizing Device Drivers with Ghost Writer. PLOS@SOSP 2023: 10-17 - [i7]Sidhartha Agrawal, Reto Achermann, Margo I. Seltzer:
OSmosis: No more Déjà vu in OS isolation. CoRR abs/2309.09291 (2023) - 2022
- [c16]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]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]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
- [j2]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) - [c13]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]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]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]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 - [i6]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
- [b1]Reto Achermann:
On Memory Addressing. ETH Zurich, Zürich, Switzerland, 2020 - [c9]Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee
, Timothy Roscoe, Jayneel Gandhi
:
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. ASPLOS 2020: 283-300 - [i5]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)
2010 – 2019
- 2019
- [j1]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) - [i4]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]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]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]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) - 2018
- [c8]Reto Achermann, Lukas Humbel
, David A. Cock
, Timothy Roscoe:
Physical Addressing on Real Hardware in Isabelle/HOL. ITP 2018: 1-19 - 2017
- [c7]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]Lukas Humbel, Reto Achermann, David A. Cock
, Timothy Roscoe:
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP 2017: 8-14 - [c5]Reto Achermann, Lukas Humbel, David A. Cock
, Timothy Roscoe:
Formalizing Memory Accesses and Interrupts. MARS@ETAPS 2017: 66-116 - 2016
- [c4]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]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]Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic:
Not Your Parents' Physical Address Space. HotOS 2015 - [c1]Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris:
Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX ATC 2015: 263-276
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint