Aurel Bílý

According to our database, Aurel Bílý authored at least 9 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Refinement Methodology for Distributed Programs in Rust (artefact).

Aurel Bílý, João C. Pereira, Peter Müller

Dataset, June, 2025

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees.

Zachary Grannan, Aurel Bílý, Jonás Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers

Proc. ACM Program. Lang., 2025

A Refinement Methodology for Distributed Programs in Rust.

Aurel Bílý, João C. Pereira, Peter Müller

Proc. ACM Program. Lang., 2025

2023

Refinement Proofs in Rust Using Ghost Locks.

Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller

CoRR, 2023

2022

Compositional Reasoning for Side-effectful Iterators and Iterator Adapters.

Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers

CoRR, 2022

The Prusti Project: Formal Verification for Rust.

Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Modular Specification and Verification of Closures in Rust (artefact).

Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers

Dataset, September, 2021

Modular specification and verification of closures in Rust.

Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers

Proc. ACM Program. Lang., 2021

Flexible Refinement Proofs in Separation Logic.

Aurel Bílý, Christoph Matheja, Peter Müller

CoRR, 2021