Matthias Brun

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Top Venues

Arch. Formal Proofs

Proc. ACM Program. Lang.

Publications

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
Beyond isolation: OS verification as a foundation for correct applications. HotOS (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types (extended version). CoRR (2023)
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Verified Progress Tracking for Timely Dataflow. ITP (2021)
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Formalization of Timely Dataflow's Progress Tracking Protocol. Arch. Formal Proofs 2021 (2021)
Matthias Brun, Dmitriy Traytel
Formalization of Generic Authenticated Data Structures. Arch. Formal Proofs 2019 (2019)
Matthias Brun, Dmitriy Traytel
Generic Authenticated Data Structures, Formally. ITP (2019)