Jonás Fiala

According to our database, Jonás Fiala authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

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

CoRR, March, 2025

2023

Leveraging Rust Types for Program Synthesis.

Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2023

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