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

Theses

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