
Daniel Schwyn
Doctoral Student
Systems Group, ETH Zürich
-
ETH Zürich
Systems Group
STF H 326
Stampfenbachstrasse 114
8092 Zürich, Switzerland - daniel.schwyn@inf.ethz.ch
- 0000-0002-4412-9004
- dasch8
- dasch8
- dasch8
- Curriculum Vitae
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 2015 - 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
- Low-Overhead Reinforcement Learning-Based Power Management Using 2QoSMJournal of Low Power Electronics and Applications, Volume: 12, Issue: 2, May 2022
- Enzian: An Open, General, CPU/FPGA Platform for Systems Software ResearchASPLOS 2022: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2022
- 2QoSM: A Q-Learner QoS Manager for Application-Guided Power-Aware Systems2021 IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), December 2021
- Generating Correct Initial Page Tables from Formal Hardware DescriptionsProceedings of the 11th Workshop on Programming Languages and Operating Systems, October 2021
- Declarative Power SequencingACM Transactions on Embedded Computing Systems, Volume: 20, Issue: 5s, September 2021
- A Model-Checked I2C Specification27th International Symposium on Model Checking Software (SPIN 2021), August 2021
- mmapx: Uniform Memory Protection in a Heterogeneous WorldHotOS ’21: Proceedings of the Workshop on Hot Topics in Operating Systems, June 2021
- A Digital Companion for Air TravelersMobileHCI ’20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services, February 2020
- From sound to sight: Using audio processing to enable visible light communication2014 IEEE Globecom Workshops (GC Wkshps), December 2014
Preprints
- Secure Memory Management on Modern HardwarearXiv:2009.02737, September 2020
- CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transferarXiv:1911.08773, November 2019
- A Least-Privilege Memory Protection Model for Modern HardwarearXiv:1908.08707, August 2019
Mentored Students
- Declarative Power Sequencing using a CPLDBachelor’s Thesis, ETH Zurich, February 2022
- Generating Power Management Code from Declarative DescriptionsBachelor’s Thesis, ETH Zurich, October 2021
- Characterization of Interrupt Handling in Board Management ControllersBachelor’s Thesis, ETH Zurich, September 2021
- Optimizing Declarative Power SequencingMaster’s Thesis, ETH Zurich, September 2021
- Real-time Board Management using an FPGABachelor’s Thesis, ETH Zurich, April 2021
- Towards high-assurance Board Management Controller softwareMaster’s Thesis, ETH Zurich, March 2021
- A model-based approach to platform-level power and clock managementBachelor’s Thesis, ETH Zurich, August 2020
Teaching
-
Advanced Operating Systems (263-3800-00L)
ETH Zürich
- Spring 2019
- Spring 2020
- Spring 2021
- Spring 2022
-
Systems Programming and Computer Architecture (252-0061-00L)
ETH Zürich
- Fall 2019
- Fall 2020
- Fall 2021