Declarative Power Sequencing. - Jasmin Schult; Daniel David Schwyn; Michael Giardino; David A. Cock; Reto Achermann; Timothy Roscoe (ACM Trans. Embed. Comput. Syst., 2021)

Specifying the de-facto OS of a production SoC. - Ben Fiedler; Roman Meier; Jasmin Schult; Daniel Schwyn; Timothy Roscoe (KISV@SOSP, 2023)

Semi-Open-State Testing for in-Silicon Coherent Interconnects. - Jasmin Schult; Ben Fiedler; David A. Cock; Timothy Roscoe (FMCAD, 2024)

Mainframe-style channel controllers for modern disaggregated memory systems. - Zikai Liu; Jasmin Schult; Pengcheng Xu 005; Timothy Roscoe (CoRR, 2025)