Sign in
Nora Hossle
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 6
Top Topics
Refinement Process
Industrial Strength
Memory Management
Garbage Collection
Top Venues
CoRR
PLOS@SOSP
HotOS
SPIN
</>
Publications
</>
David 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)
Reto Achermann
,
David Cock
,
Roni Haecki
,
Nora Hossle
,
Lukas Humbel
,
Timothy Roscoe
,
Daniel David Schwyn
mmapx: uniform memory protection in a heterogeneous world.
HotOS
(2021)
Lukas Humbel
,
Daniel David Schwyn
,
Nora Hossle
,
Roni Haecki
,
Melissa Licciardello
,
Jan Schaer
,
David Cock
,
Michael Giardino
,
Timothy Roscoe
C Specification.
SPIN
(2021)
Reto Achermann
,
David Cock
,
Roni Haecki
,
Nora Hossle
,
Lukas Humbel
,
Timothy Roscoe
,
Daniel David Schwyn
Generating correct initial page tables from formal hardware descriptions.
PLOS@SOSP
(2021)
Reto Achermann
,
Nora Hossle
,
Lukas Humbel
,
Daniel David Schwyn
,
David Cock
,
Timothy Roscoe
Secure Memory Management on Modern Hardware.
CoRR
(2020)
Reto Achermann
,
Nora Hossle
,
Lukas Humbel
,
Daniel David Schwyn
,
David Cock
,
Timothy Roscoe
A Least-Privilege Memory Protection Model for Modern Hardware.
CoRR
(2019)