Personal information

Activities

Collapse all

Works (6)

The Prusti Project: Formal Verification for Rust

NASA Formal Methods (14th International Symposium)
2022 | Book chapter
DOI: 10.1007/978-3-031-06773-0_5
Part of ISBN: 9783031067723
Part of ISBN: 9783031067730
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Vytautas Astrauskas; Aurel Bílý; Jonáš Fiala; Zachary Grannan; Christoph Matheja; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli

How Do Programmers Use Unsafe Rust?

Proceedings of the ACM on Programming Languages
2020-11-13 | Journal article
DOI: 10.1145/3428204
Part of ISSN: 2475-1421
Contributors: Vytautas Astrauskas; Christoph Matheja; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli

Software Artefact for the OOPSLA'20 Paper Titled "How Do Programmers Use Unsafe Rust?"

Zenodo
2020-09-12 | Software
DOI: 10.5281/ZENODO.4085004
Contributors: Vytautas Astrauskas; Christoph Matheja; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli

Leveraging Rust Types for Modular Specification and Verification

ETH Zurich
2019 | Report
DOI: 10.3929/ETHZ-B-000392701
Contributors: Vytautas Astrauskas; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli

Leveraging Rust Types for Modular Specification and Verification

Proceedings of the ACM on Programming Languages
2019-10-10 | Journal article
DOI: 10.1145/3360573
Part of ISSN: 2475-1421
Contributors: Vytautas Astrauskas; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli

Software Artefact for the OOPSLA'19 Paper Titled "Leveraging Rust Types for Modular Specification and Verification"

2019-08-15 | Software
DOI: 10.5281/ZENODO.3363914
Contributors: Vytautas Astrauskas; Peter Müller; Federico Poli; Alexander J. Summers
Source: Self-asserted source
Federico Poli
How many people are using ORCID?