Ben Fiedler

According to our database, Ben Fiedler authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Specifying the de-facto OS of a production SoC.

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Putting out the hardware dumpster fire.

Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2020

A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm.

Ben Fiedler, Dmitriy Traytel

Arch. Formal Proofs, 2020