Will Crichton
where else to find them
mastodon:@tonofcrates@mastodon.social
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
all 8 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Gavin Gray4 talks
- Shriram Krishnamurthi12 talks
- Ralf Jung18 talks
- Derek Dreyer35 talks
- Vitaly Bragilevsky17 talks
- Tiark Rompf24 talks
| title | conference | date |
|---|---|---|
| Paralegal: Practical Static Analysis for Privacy Bugs | OSDI '25 | 2025-07-07 |
Paralegal is a static analysis tool for Rust that checks formal privacy policies over a marker-annotated Program Dependence Graph, using Rust’s ownership types… | ||
| 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… | ||
| Visualizing and Explaining Rust's Ownership Model | IWACO 2024 | 2024-10-21 |
Provides a concrete claim: embedding an auto-generated permissions model visualization (driven from the compiler MIR and a hooked MIR interpreter) into a Rust… | ||
| Profiling Programming Language Learning | OOPSLA 2024 | 2024-10-20 |
Year‑long experiment embeds 221 quizzes in The Rust Programming Language and collects 62,526 readers answering 1,140,202 questions to locate learning hotspots… | ||
| A Core Calculus for Documents: Or, Lambda: The Ultimate Document | POPL 2024 | 2024-01-14 |
Presents a formal core calculus that classifies document languages into eight levels (string vs. article domains × four constructors), proves each level as an… | ||
| 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… | ||
| Typed Design Patterns for the Functional Era | FUNARCH 2023 | 2023-09-08 |
Argues that some recurring system designs resist being encoded purely as libraries and shows four Rust encodings: Witness, State Machine, Parallel Lists… | ||
| Type-Driven API Design in Rust | Strange Loop 2021 | 2021-09-30 |
Live-coding builds a working Rust progress-bar API that compiles and runs, not just slides: it reimplements a tqdm-like wrapper, uses extension traits to add… | ||
| nothing matches | ||