Gavin Gray -

Registered user since Mon 21 Aug 2023

Name:Gavin Gray

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://gavinleroy.com/

GitHub: https://github.com/gavinleroy

Contributions

2023

HATRA

Author of Debugging Trait Errors as Logic Programs within the HATRA-track

SPLASH

Author of A Grounded Conceptual Model for Ownership Types in Rust within the OOPSLA-track