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. 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
4. 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
5. 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. Declarative Power Sequencing using a CPLD
   1. Manuel Hässig
   Bachelor's Thesis, ETH Zürich, February 2022
   PDF DOI
2. Generating Power Management Code from Declarative Descriptions
   1. Linus Vogel
   Bachelor's Thesis, ETH Zürich, October 2021
   PDF DOI
3. Optimizing Declarative Power Sequencing
   1. Moritz Knüsel
   Master's Thesis, ETH Zürich, September 2021
   PDF DOI
4. Towards Trustworthy BMC Software on Modern Hardware
   1. Ben Fiedler
   Master's Thesis, ETH Zürich, August 2021
   PDF
5. High-speed Tracing of Coherence Traffic using FPGAs
   1. Manuel Bröchin
   Master's Thesis, ETH Zürich, August 2021
   PDF
6. Real-time Board Management using an FPGA
   1. Sarah Tröndle
   Bachelor's Thesis, ETH Zürich, April 2021
   PDF DOI
7. Towards high-assurance Board Management Controller software
   1. Cedric Heimhofer
   Master's Thesis, ETH Zürich, March 2021
   PDF DOI
8. Computer platform visualization for Enzian
   1. Patrick Wicki
   Bachelor's Thesis, ETH Zürich, March 2021
   PDF
9. A model-based approach to platform-level power and clock management
   1. Jasmin Schult
   Bachelor's Thesis, ETH Zürich, August 2020
   PDF DOI