Not registered as user yet

Name:Andrei Ştefănescu
Country:United States
Affiliation:Galois

Contributions

SPLASH 2021 Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track