Gavin Gray
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
- Will Crichton9 talks
- Shriram Krishnamurthi12 talks
- Jonáš Fiala4 talks
- Aurel Bílý5 talks
- Jonathan Aldrich17 talks
- Ralf Jung18 talks
| title | conference | date |
|---|---|---|
| An Interactive Debugger for Rust Trait Errors | PLDI 2025 | 2025-06-16 |
Argus visualizes Rust trait resolution as an interactive proof-search debugger with complementary bottom-up and top-down views, provenance paths, IDE… | ||
| A Grounded Conceptual Model for Ownership Types in Rust | OOPSLA 2023 | 2023-10-23 |
Created an Ownership Inventory to measure Rust misconceptions and finds learners predict compiler errors 64% of the time but produce valid counterexamples only… | ||
| Debugging Trait Errors as Logic Programs | HATRA 2023 | 2023-10-22 |
Rust trait resolution is literally a Prolog‑style logic program and compiler diagnostics collapse once constraints grow — real Bevy docs show 92 trait impls… | ||
| nothing matches | ||