Ben Fiedler

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Production Process

Database Manager

Operating System

Top Venues

Arch. Formal Proofs

Publications

Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe
Putting out the hardware dumpster fire. HotOS (2023)
Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe
Specifying the de-facto OS of a production SoC. KISV@SOSP (2023)
Ben Fiedler, Dmitriy Traytel
A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm. Arch. Formal Proofs 2020 (2020)