Will Crichton

Identifiers

No identifiers captured yet.

Papers (4)

1. Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations cs.HC · 2026 · author #2
2. From Theory to Systems: A Grounded Approach to Programming Language Education cs.PL · 2019 · author #1
3. Identifying Barriers to Adoption for Rust through Online Discourse cs.HC · 2019 · author #2
4. Scanner: Efficient Video Analysis at Scale cs.CV · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alex Poms 1 shared papers
• Andrew Head 1 shared papers
• Anna Zeng 1 shared papers
• Harrison Goldstein 1 shared papers
• Hita Kambhamettu 1 shared papers
• Kayvon Fatahalian 1 shared papers
• Pat Hanrahan 1 shared papers
• Sean Welleck 1 shared papers