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

  1. Doctor of Science (PhD) in Computer Science ETH Zürich February 2019 - PRESENT Prof. Dr. Timothy Roscoe
  2. Master of Science (MSc) in Computer Science ETH Zürich September 2015 - January 2018 Hardware Configuration With Dynamically-Queried Formal Models Prof. Dr. Timothy Roscoe
  3. 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

  1. Low-Overhead Reinforcement Learning-Based Power Management Using 2QoSM
    1. Michael Giardino
    2. Daniel Schwyn
    3. Bonnie Ferri
    4. Aldo Ferri
    Journal of Low Power Electronics and Applications, Volume: 12, Issue: 2, May 2022
  2. Enzian: An Open, General, CPU/FPGA Platform for Systems Software Research
    1. David Cock
    2. Abishek Ramdas
    3. Daniel Schwyn
    4. Michael Giardino
    5. Adam Turowski
    6. Zhenhao He
    7. Nora Hossle
    8. Dario Korolija
    9. Melissa Licciardello
    10. Kristina Martsenko
    11. Reto Achermann
    12. Gustavo Alonso
    13. Timothy Roscoe
    ASPLOS 2022: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2022
  3. 2QoSM: A Q-Learner QoS Manager for Application-Guided Power-Aware Systems
    1. Michael J. Giardino
    2. Daniel Schwyn
    3. Bonnie Ferri
    4. Aldo Ferri
    2021 IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), December 2021
  4. Generating Correct Initial Page Tables from Formal Hardware Descriptions
    1. Reto Achermann
    2. David Cock
    3. Roni Haecki
    4. Nora Hossle
    5. Lukas Humbel
    6. Timothy Roscoe
    7. Daniel Schwyn
    Proceedings of the 11th Workshop on Programming Languages and Operating Systems, October 2021
  5. Declarative Power Sequencing
    1. Jasmin Schult
    2. Daniel Schwyn
    3. Michael Giardino
    4. David Cock
    5. Reto Achermann
    6. Timothy Roscoe
    ACM Transactions on Embedded Computing Systems, Volume: 20, Issue: 5s, September 2021
  6. A Model-Checked I2C Specification
    1. Lukas Humbel
    2. Daniel Schwyn
    3. Nora Hossle
    4. Roni Haecki
    5. Melissa Licciardello
    6. Jan Schaer
    7. David Cock
    8. Michael Giardino
    9. Timothy Roscoe
    27th International Symposium on Model Checking Software (SPIN 2021), August 2021
  7. mmapx: Uniform Memory Protection in a Heterogeneous World
    1. Reto Achermann
    2. David Cock
    3. Roni Haecki
    4. Nora Hossle
    5. Lukas Humbel
    6. Timothy Roscoe
    7. Daniel Schwyn
    HotOS ’21: Proceedings of the Workshop on Hot Topics in Operating Systems, June 2021
  8. A Digital Companion for Air Travelers
    1. Kimberly Garcia
    2. Daniel David Schwyn
    3. Florian Michahelles
    MobileHCI ’20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services, February 2020
  9. From sound to sight: Using audio processing to enable visible light communication
    1. Stefan Schmid
    2. Daniel Schwyn
    3. Kaan Akşit
    4. Giorgio Corbellini
    5. Thomas R. Gross
    6. Stefan Mangold
    2014 IEEE Globecom Workshops (GC Wkshps), December 2014

Preprints

  1. Secure Memory Management on Modern Hardware
    1. Reto Achermann
    2. Nora Hossle
    3. Lukas Humbel
    4. Daniel Schwyn
    5. David Cock
    6. Timothy Roscoe
    arXiv:2009.02737, September 2020
  2. CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
    1. Roni Haecki
    2. Lukas Humbel
    3. Reto Achermann
    4. David Cock
    5. Daniel Schwyn
    6. Timothy Roscoe
    arXiv:1911.08773, November 2019
  3. A Least-Privilege Memory Protection Model for Modern Hardware
    1. Reto Achermann
    2. Nora Hossle
    3. Lukas Humbel
    4. Daniel Schwyn
    5. David Cock
    6. Timothy Roscoe
    arXiv:1908.08707, August 2019

Mentored Students

  1. Declarative Power Sequencing using a CPLD
    1. Manuel Hässig
    Bachelor’s Thesis, ETH Zurich, February 2022
  2. Generating Power Management Code from Declarative Descriptions
    1. Linus Ulysses Vogel
    Bachelor’s Thesis, ETH Zurich, October 2021
  3. Characterization of Interrupt Handling in Board Management Controllers
    1. Tobias Oberdörfer
    Bachelor’s Thesis, ETH Zurich, September 2021
  4. Optimizing Declarative Power Sequencing
    1. Moritz Knüsel
    Master’s Thesis, ETH Zurich, September 2021
  5. Real-time Board Management using an FPGA
    1. Sarah Tröndle
    Bachelor’s Thesis, ETH Zurich, April 2021
  6. Towards high-assurance Board Management Controller software
    1. Cedric Heimhofer
    Master’s Thesis, ETH Zurich, March 2021
  7. A model-based approach to platform-level power and clock management
    1. Jasmin Schult
    Bachelor’s Thesis, ETH Zurich, August 2020

Teaching

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