Vytautas Astrauskas -

Registered user since Wed 19 Aug 2020

Name: Vytautas Astrauskas

Affiliation: ETH Zurich

Contributions

SPLASH 2020	Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
SPLASH 2019	Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track