Federico Poli

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland

Engineering & Technology / Computer Science

AD Scientific Index ID: 5210944

Swiss Federal Institute of Technology ETH Zurich

Registration, Add Profile,
Premium Membership

Print Your Certificate

Federico Poli's MOST POPULAR ARTICLES

1-) Leveraging Rust types for modular specification and verificationV Astrauskas, P Müller, F Poli, AJ SummersProceedings of the ACM on Programming Languages 3 (OOPSLA), 147:1-147:30, 20191922019

2-) How do programmers use unsafe Rust?V Astrauskas, C Matheja, F Poli, P Müller, AJ SummersProceedings of the ACM on Programming Languages 4 (OOPSLA), 136:1-136:27, 2020562020

3-) The Prusti project: Formal verification for RustV Astrauskas, A Bílý, J Fiala, Z Grannan, C Matheja, P Müller, F Poli, ...NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022432022

4-) Enabling Rich Lightweight Verification of Rust SoftwareF PoliETH Zurich, 2024

5-) Reasoning about Interior Mutability in Rust using Library-Defined CapabilitiesF Poli, X Denis, P Müller, AJ SummersarXiv preprint arXiv:2405.08372, 2024

ARTICLES

Add your articles