Matthias Brun

According to our database, Matthias Brun authored at least 8 papers between 2019 and 2024.

Collaborative distances:

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

2024

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2023

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., April, 2023

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

CoRR, 2023

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada

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

2021

Formalization of Timely Dataflow's Progress Tracking Protocol.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Arch. Formal Proofs, 2021

Verified Progress Tracking for Timely Dataflow.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019

Formalization of Generic Authenticated Data Structures.

Matthias Brun, Dmitriy Traytel

Arch. Formal Proofs, 2019

Generic Authenticated Data Structures, Formally.

Matthias Brun, Dmitriy Traytel

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019