Aurel Bílý

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Natural Deduction

Formal Verification

Equational Theories

Top Venues

Proc. ACM Program. Lang.

Publications

Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller
Refinement Proofs in Rust Using Ghost Locks. CoRR (2023)
Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
The Prusti Project: Formal Verification for Rust. NFM (2022)
Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers
Compositional Reasoning for Side-effectful Iterators and Iterator Adapters. CoRR (2022)
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers
Modular specification and verification of closures in Rust. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Aurel Bílý, Christoph Matheja, Peter Müller
Flexible Refinement Proofs in Separation Logic. CoRR (2021)