Will Crichton

32 papers A* 4A 1Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
CoRR
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
Proc. ACM Program. Lang.
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2025 A* conf
Paralegal: Practical Static Analysis for Privacy Bugs.
OSDI
Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf
2025 J jnl
When Are Reactive Notebooks Not Reactive?
CoRR
Megan Zheng, Will Crichton, Akshay Narayan, Deepti Raghavan, Nikos Vasilakis
2024 J jnl
A Core Calculus for Documents: Or, Lambda: The Ultimate Document.
Proc. ACM Program. Lang.
Will Crichton, Shriram Krishnamurthi
2024 J jnl
Profiling Programming Language Learning.
CoRR
Will Crichton, Shriram Krishnamurthi
2024 J jnl
Profiling Programming Language Learning.
Proc. ACM Program. Lang.
Will Crichton, Shriram Krishnamurthi
2023 J jnl
A Core Calculus for Documents.
CoRR
Will Crichton, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
CoRR
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
Proc. ACM Program. Lang.
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
Debugging Trait Errors as Logic Programs.
CoRR
Gavin Gray, Will Crichton
2023 — conf
Typed Design Patterns for the Functional Era.
FUNARCH
Will Crichton
2023 J jnl
Typed Design Patterns for the Functional Era.
CoRR
Will Crichton
2022 A* conf
Modular information flow through ownership.
PLDI
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
2021 A* conf
Analysis of Faces in a Decade of US Cable TV News.
KDD
James Hong, Will Crichton, Haotian Zhang, Daniel Y. Fu, Jacob Ritchie, Jeremy Barenholtz, Ben Hannel, Xinwei Yao, Michaela Murray, Geraldine Moriba, Maneesh Agrawala, Kayvon Fatahalian
2021 A conf
Automating Program Structure Classification.
SIGCSE
Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan
2021 J jnl
Automating Program Structure Classification.
CoRR
Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan
2021 J jnl
Modular Information Flow Through Ownership.
CoRR
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
2021 A* conf
The Role of Working Memory in Program Tracing.
CHI
Will Crichton, Maneesh Agrawala, Pat Hanrahan
2021 J jnl
The Role of Working Memory in Program Tracing.
CoRR
Will Crichton, Maneesh Agrawala, Pat Hanrahan
2020 J jnl
Analyzing Who and What Appears in a Decade of US Cable TV News.
CoRR
James Hong, Will Crichton, Haotian Zhang, Daniel Y. Fu, Jacob Ritchie, Jeremy Barenholtz, Ben Hannel, Xinwei Yao, Michaela Murray, Geraldine Moriba, Maneesh Agrawala, Kayvon Fatahalian
2020 J jnl
Documentation Generation as Information Visualization.
CoRR
Will Crichton
2020 J jnl
The Usability of Ownership.
CoRR
Will Crichton
2019 — conf
From Theory to Systems: A Grounded Approach to Programming Language Education.
SNAPL
Will Crichton
2019 J jnl
From Theory to Systems: A Grounded Approach to Programming Language Education.
CoRR
Will Crichton
2019 — conf
Human-Centric Program Synthesis.
PLATEAU@UIST
Will Crichton
2019 J jnl
Human-Centric Program Synthesis.
CoRR
Will Crichton
2019 J jnl
Identifying Barriers to Adoption for Rust through Online Discourse.
CoRR
Anna Zeng, Will Crichton
2019 J jnl
Rekall: Specifying Video Events using Compositions of Spatiotemporal Labels.
CoRR
Daniel Y. Fu, Will Crichton, James Hong, Xinwei Yao, Haotian Zhang, Anh Truong, Avanika Narayan, Maneesh Agrawala, Christopher Ré, Kayvon Fatahalian
2018 — conf
Identifying Barriers to Adoption for Rust through Online Discourse.
PLATEAU@SPLASH
Anna Zeng, Will Crichton
2018 J jnl
Scanner: Efficient Video Analysis at Scale.
CoRR
Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian
2018 J jnl
Scanner: efficient video analysis at scale.
ACM Trans. Graph.
Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian