A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm. - Ben Fiedler; Dmitriy Traytel (Arch. Formal Proofs, 2020)

Putting out the hardware dumpster fire. - Ben Fiedler; Daniel Schwyn; Constantin Gierczak-Galle; David A. Cock; Timothy Roscoe (HotOS, 2023)

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

Verified Fault Handling for Modern Board Management Controllers. - Ben Fiedler; Zikai Liu; David A. Cock; Timothy Roscoe (FACS, 2024)

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