conf.researchr.org / Vytautas Astrauskas

Registered user since Wed 19 Aug 2020

Name: Vytautas Astrauskas

Affiliation: ETH Zurich, Switzerland

Contributions

SPLASH 2020Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
SPLASH 2019Author 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