Gavin Gray

gavinleroy.com

education

Brown University

Ph.D. in Computer SciencePresent

ETH Zürich

M.S. in Computer ScienceMay 202424

University of Utah

B.S. in Computer ScienceMay 202121
  • GPA 4/4, Summa Cum Laude

publications

An Interactive Debugger for Rust Trait Errors

PLDI 202525Gavin GrayWill CrichtonShriram Krishnamurthi

    A Grounded Conceptual Model for Ownership Types in Rust

    OOPSLA 202323Will CrichtonGavin GrayShriram Krishnamurthi
    • SIGPLAN Research Highlight 202525

    Debugging Trait Errors as Logic Programs

    HATRA 202323Gavin GrayWill Crichton

      experience

      Brown University

      Research AssistantJun 202323–Aug 202323
      • Extended the Rust Analyzer trait solver, Chalk, to support proof tree construction.
      • Researched interactive debugging techniques and UI designs for debugging type errors.

      ETH Zürich

      Research AssistantMay 202222–Sep 202222

      Goldman Sachs

      Software Engineering InternJun 202121–Aug 202121
      • Integrated Access Fintech into the GS reconciliation platform using Java, Kafka, and Pure.
      • Reduced human actions by 40% and increased data availability across business units.

      Epic Systems Corporation

      Software Engineering InternJun 202020–Aug 202020
      • Implemented and tested various metrics to determine physician similarity.
      • Deployed a physician suggestion engine into the Epic Earth platform using C#, Python, and Flask.

      University of Utah School of Medicine

      Research AssistantJun 201919–May 202121
      • Improved radio communication stability for the Wireless Ranging Enabled Node (WREN) network by 13% using nesC and distributed consensus algorithms.

      skills

      Research InterestsProgramming LanguagesType TheoryFormal MethodsHuman-Computer InteractionFunctional ProgrammingLispRacketOCamlSystems ProgrammingRustCC++Web DevelopmentTypeScriptReactHTMLCSSLanguagesEnglishBrazilian PortugueseGerman

      projects

      ArgusRust

      • Implemented a compiler plugin to interactively debug Rust trait errors.
      • Designed and monitored a user study that found Rust engineers debug 2.2× more faults and localize errors 3.3× faster with Argus than without.

      AquascopeRust

      • Implemented a compiler plugin to automatically generate visualizations of Rust ownership types. Deployed online in The Rust Book Experiment used by 100,000+ Rust learners.

      High-Performance OPUS FrameworkC

      • Engineered an implementation of the Optimization by Particle swarm Using Surrogates (OPUS) framework achieving a 4% (flop/cycle) speedup over existing implementations.

      Parallel Ripple SearchC++

      • Achieved a 3.75% performance (flop/cycle) increase compared to optimized implementations of the Parallel Ripple Search pathfinding algorithm.

      GSchemeOCaml

      • Impelemented a subset of the R6RS Scheme specification emphasizing hygienic macro expansion.

      teaching

      Introduction to Computer Science with Rust

      Brown UniversitySummer 202525

      Concepts of Object-Oriented Programming

      ETH Zürich202222202323

      Data Modeling and Databases

      ETH ZürichSpring 202222

      Database Systems

      University of UtahSpring 202121

      Software Practice

      University of Utah202020202121

      Digital Circuits

      Utah State University201717201818

      awards

      School of Computing Outstanding Undergraduate Award

      202121

      Robert Henricks Scholarship

      202020

      University of Utah Flagship Scholarship

      201919

      American Nuclear Society Sophomore Scholarship

      201717

      ASUSU Sophomore Scholarship

      201717

      Utah State University Aggie Merit Scholarship

      201616

      Utah State Regents’ Scholarship

      201616