Jonás Fiala

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

Collaborative distances:

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

2026

SMTScope: Automated and Efficient Analysis of SMT Traces.

Jonás Fiala, Peter Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

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

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