Daniel Schwyn

Research Interest

My research focuses on formal hardware models for complex heterogeneous platforms. I am a member of the Sockeye project which aims to find abstractions for the hardware/software interface with formal semantics to tackle the complexity of modern hardware.

Within that space my main interest is in trustworthy power management. I work on formally modeling power topologies and developing tools that use the models to correctly and reliably manage the complex power distribution networks on modern computer systems. I am a member of the Enzian project. Enzian is a heterogeneous server class platform for systems software research. I am working on creating a trustworthy Baseboard Management Controller firmware stack for the platform.

I am also a member of the Barrelfish OS team, working on integrating information from formal hardware models.

Education

• Doctor of Science (PhD) in Computer Science ETH Zürich February 2019 - PRESENT Prof. Dr. Timothy Roscoe
• Master of Science (MSc) in Computer Science ETH Zürich September 2016 - January 2018 Hardware Configuration With Dynamically-Queried Formal Models Prof. Dr. Timothy Roscoe
• Bachelor of Science (BSc) in Computer Science ETH Zürich September 2011 - September 2015 Implementation of a Smartphone-based Visible Light Communication System using the Audiojack as a Communcation Frontend Prof. Dr. Thomas Gross

Publications

Peer Reviewed

• Enzian: An Open, General, CPU/FPGA Platform for Systems Software Research
  • 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
  ASPLOS 2022
• 2QoSM: A Q-Learner QoS Manager for Application-Guided Power-Aware Systems
  • Michael Giardino
  • Daniel Schwyn
  • Bonnie Ferri
  • Aldo A. Ferri
  MCSoC-2021
• Generating correct initial page tables from formal hardware descriptions
  • Reto Achermann
  • David Cock
  • Roni Häcki
  • Nora Hossle
  • Lukas Humbel
  • Timothy Roscoe
  • Daniel Schwyn
  PLOS 2021
• Declarative Power Sequencing
  • Jasmin Schult
  • Daniel Schwyn
  • Michael Giardino
  • David Cock
  • Reto Achermann
  • Timothy Roscoe
  ACM TECS, Volume 20, Issue 5s (EMSOFT 2021)
• A Model-Checked I²C Specification
  • Lukas Humbel
  • Daniel Schwyn
  • Nora Hossle
  • Roni Häcki
  • Melissa Licciardello
  • Jan Schär
  • David Cock
  • Michael Giardino
  • Timothy Roscoe
  SPIN 2021
• mmapx: Uniform Memory Protection in a Heterogeneous World
  • Reto Achermann
  • David Cock
  • Roni Häcki
  • Nora Hossle
  • Lukas Humbel
  • Timothy Roscoe
  • Daniel Schwyn
  HotOS'21
• A Digital Companion for Air Travelers
  • Kimberly García
  • Daniel Schwyn
  • Florian Michahelles
  MobileHCI'20
• From sound to sight: Using audio processing to enable visible light communication
  • Stefan Schmid
  • Daniel Schwyn
  • Kaan Akşit
  • Giorgio Corbellini
  • Thomas R. Gross
  • Stefan Mangold
  GC Wkshps'14

Preprints

• Secure Memory Management on Modern Hardware
  • Reto Achermann
  • Nora Hossle
  • Lukas Humbel
  • Daniel Schwyn
  • David Cock
  • Timothy Roscoe
  arXiv:2009.02737
• CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
  • Roni Häcki
  • Lukas Humbel
  • Reto Achermann
  • David Cock
  • Daniel Schwyn
  • Timothy Roscoe
  arXiv:1911.08773
• A Least-Privilege Memory Protection Model for Modern Hardware
  • Reto Achermann
  • Nora Hossle
  • Lukas Humbel
  • Daniel Schwyn
  • David Cock
  • Timothy Roscoe
  arXiv:1908.08707

Mentored Students

Teaching

• Advanced Operating Systems (263-3800-00L) ETH Zürich
  • Spring 2019
  • Spring 2020
  • Spring 2021
• Systems Programming and Computer Architecture (252-0061-00L) ETH Zürich
  • Fall 2019
  • Fall 2020
  • Fall 2021