• Sign in
  • Sign up
conf.researchr.org / Federico Poli
  • SPLASH 2019 profile
  • SPLASH 2020 profile
Federico Poli

Registered user since Thu 8 Aug 2019

Name:Federico Poli
Affiliation:ETH Zurich
GitHub: https://github.com/fpoli

Contributions

2020

SPLASH

  • Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track

2019

SPLASH

  • Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track
  • Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track
Share
xFri 23 May 00:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up