Login / Signup
Jonás Fiala
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Model Checker
Formal Verification
Temporal Logic
Program Synthesis
Top Venues
Proc. ACM Program. Lang.
NFM
</>
Publications
</>
Jonás Fiala
,
Shachar Itzhaky
,
Peter Müller
,
Nadia Polikarpova
,
Ilya Sergey
Leveraging Rust Types for Program Synthesis.
Proc. ACM Program. Lang.
7 (PLDI) (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)