Publications

Peer-reviewed papers

1. 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, February 2022
   PDF Talk DOI
2. 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
   PDF Talk DOI
3. A Model-Checked I²C 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
   PDF DOI
4. The Enzian Coherent Interconnect (ECI): opening a coherence protocol to research and applications
   1. Abishek Ramdas
   2. David Cock
   3. Timothy Roscoe
   4. Gustavo Alonso
   Workshop on Languages, Tools, and Techniques for Accelerator Design 2021 (LATTE '21), April 2021
   PDF
5. Do OS abstractions make sense on FPGAs?
   1. Dario Korolija
   2. Timothy Roscoe
   3. Gustavo Alonso
   14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20), November 2020
   PDF Talk External link
6. Tackling Hardware/Software co-design from a database perspective
   1. Gustavo Alonso
   2. Timothy Roscoe
   3. David Cock
   4. Mohsen Ewaida
   5. Kaan Kara
   6. Dario Korolija
   7. David Sidler
   8. Zeke Wang
   10th Annual Conference on Innovative Data Systems Research (CIDR '20), January 2020
   PDF

Theses

1. Generating Trustworthy I²C Stacks Across Software and Hardware
   1. Zikai Liu
   Master's Thesis, ETH Zürich, September 2023
   PDF DOI
2. Boot Firmware for Heterogeneous Systems running Linux
   1. Axel Montini
   Bachelor's Thesis, ETH Zürich, August 2023
   PDF DOI
3. Trusted Firmware for a Research Computer
   1. Alessandro Legnani
   Bachelor's Thesis, ETH Zürich, August 2023
   PDF DOI
4. Enzian Firmware Resource Interface
   1. Pengcheng Xu
   Semester Project, ETH Zürich, February 2023
   PDF DOI
5. Declarative Dynamic Power Management
   1. Roman Meier
   Master's Thesis, ETH Zürich, September 2022
   PDF DOI
6. Declarative Power Sequencing using a CPLD
   1. Manuel Hässig
   Bachelor's Thesis, ETH Zürich, February 2022
   PDF DOI
7. Generating Power Management Code from Declarative Descriptions
   1. Linus Vogel
   Bachelor's Thesis, ETH Zürich, October 2021
   PDF DOI
8. Optimizing Declarative Power Sequencing
   1. Moritz Knüsel
   Master's Thesis, ETH Zürich, September 2021
   PDF DOI
9. Characterization of Interrupt Handling in Board Management Controllers
   1. Tobias Oberdörfer
   Bachelor's Thesis, ETH Zürich, September 2021
   PDF DOI
10. OpenCL support for Enzian
    1. Fabian Wüthrich
    Master's Thesis, ETH Zürich, September 2021
    PDF DOI
11. Towards Trustworthy BMC Software on Modern Hardware
    1. Ben Fiedler
    Master's Thesis, ETH Zürich, August 2021
    PDF
12. High-speed Tracing of Coherence Traffic using FPGAs
    1. Manuel Bröchin
    Master's Thesis, ETH Zürich, August 2021
    PDF
13. Developing and Evaluating Power Models of Heterogeneous Computer Systems
    1. Kristina Martsenko
    Master's Thesis, ETH Zürich, June 2021
    PDF DOI
14. Real-time Board Management using an FPGA
    1. Sarah Tröndle
    Bachelor's Thesis, ETH Zürich, April 2021
    PDF DOI
15. Towards high-assurance Board Management Controller software
    1. Cedric Heimhofer
    Master's Thesis, ETH Zürich, March 2021
    PDF DOI
16. Computer platform visualization for Enzian
    1. Patrick Wicki
    Bachelor's Thesis, ETH Zürich, March 2021
    PDF
17. A model-based approach to platform-level power and clock management
    1. Jasmin Schult
    Bachelor's Thesis, ETH Zürich, August 2020
    PDF DOI
18. Runtime Verification with TeSSLa on Enzian
    1. Pirmin Schmid
    Master's Thesis, ETH Zürich, September 2019
    PDF DOI