• Sign in
  • Sign up
conf.researchr.org / Vytautas Astrauskas
  • SPLASH 2019 profile
  • SPLASH 2020 profile

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

Share
xFri 5 Mar 03:08
using conf.researchr.org (v1.43.1)
Support page
Sign Up