Daniel David Schwyn

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 8

Top Topics

Refinement Process

Garbage Collection

Top Venues

ACM Trans. Embed. Comput. Syst.

GLOBECOM Workshops

Publications

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)
Jasmin Schult, Daniel David Schwyn, Michael Giardino, David Cock, Reto Achermann, Timothy Roscoe
Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. 20 (5s) (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)
Kimberly García, Daniel David Schwyn, Florian Michahelles
A Digital Companion for Air Travelers. MobileHCI (Extended Abstracts) (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)
Roni Haecki, Lukas Humbel, Reto Achermann, David Cock, Daniel David Schwyn, Timothy Roscoe
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR (2019)
Stefan Schmid, Daniel David Schwyn, Kaan Aksit, Giorgio Corbellini, Thomas R. Gross, Stefan Mangold
From sound to sight: Using audio processing to enable visible light communication. GLOBECOM Workshops (2014)