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 2018 - 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

• 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

• Generating Power Management Code from Declarative Descriptions Linus Vogel Bachelor's Thesis ETH Zürich October 2021
• Optimizing Declarative Power Sequencing Moritz Knüsel Master's Thesis ETH Zürich September 2021
• Characterization of Interrupt Handling in Board Management Controllers Tobias Oberdörfer Bachelor's Thesis ETH Zürich September 2021
• Real-time Board Management using an FPGA Sarah Tröndle Bachelor's Thesis ETH Zürich April 2021
• Towards high-assurance Board Management Controller software Cedric Heimhofer Master's Thesis ETH Zürich March 2021
• A model-based approach to platform-level power and clock management Jasmin Schult Bachelor's Thesis ETH Zürich August 2020

Teaching

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