Will Crichton

According to our database, Will Crichton authored at least 31 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations.

Hita Kambhamettu, Will Crichton, Sean Welleck, Harrison Goldstein, Andrew Head

CoRR, April, 2026

2025

When Are Reactive Notebooks Not Reactive?

Megan Zheng, Will Crichton, Akshay Narayan, Deepti Raghavan, Nikos Vasilakis

CoRR, November, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Malte Schwarzkopf, Shriram Krishnamurthi, Will Crichton, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa

Dataset, May, 2025

An Interactive Debugger for Rust Trait Errors.

Gavin Gray, Will Crichton, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2025

Paralegal: Practical Static Analysis for Privacy Bugs.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2024

Artifact for "Profiling Programming Language Learning".

Will Crichton, Shriram Krishnamurthi

Dataset, March, 2024

A Core Calculus for Documents: Or, Lambda: The Ultimate Document.

Will Crichton, Shriram Krishnamurthi

Proc. ACM Program. Lang., January, 2024

Profiling Programming Language Learning.

Will Crichton, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2024

2023

Artifact for "Profiling Programming Language Learning: A Case Study on The Rust Programming Language".

Will Crichton, Shriram Krishnamurthi

Dataset, December, 2023

A Grounded Conceptual Model for Ownership Types in Rust.

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Proc. ACM Program. Lang., October, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

A Core Calculus for Documents.

Will Crichton, Shriram Krishnamurthi

CoRR, 2023

Debugging Trait Errors as Logic Programs.

Gavin Gray, Will Crichton

CoRR, 2023

Typed Design Patterns for the Functional Era.

Will Crichton

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

Modular information flow through ownership.

Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Automating Program Structure Classification.

Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Analysis of Faces in a Decade of US Cable TV News.

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

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

The Role of Working Memory in Program Tracing.

Will Crichton, Maneesh Agrawala, Pat Hanrahan

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

The Usability of Ownership.

Will Crichton

CoRR, 2020

Documentation Generation as Information Visualization.

Will Crichton

CoRR, 2020

Analyzing Who and What Appears in a Decade of US Cable TV News.

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

CoRR, 2020

2019

Rekall: Specifying Video Events using Compositions of Spatiotemporal Labels.

Daniel Y. Fu, Will Crichton, James Hong, Xinwei Yao, Haotian Zhang, Anh Truong, Avanika Narayan, Maneesh Agrawala, Christopher Ré, Kayvon Fatahalian

CoRR, 2019

Human-Centric Program Synthesis.

Will Crichton

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

From Theory to Systems: A Grounded Approach to Programming Language Education.

Will Crichton

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Scanner: efficient video analysis at scale.

Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian

ACM Trans. Graph., 2018

Identifying Barriers to Adoption for Rust through Online Discourse.

Anna Zeng, Will Crichton

Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018