
Reto Achermann
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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 Schwyn, David 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 Schwyn, David 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 Cock, Daniel 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 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 Cock, Timothy Roscoe:
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP 2017: 8-14 - [c5]Reto Achermann, Lukas Humbel, David 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 Annual Technical Conference 2015: 263-276
Coauthor Index

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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-10-27 22:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint