Will Crichton

According to our database, Will Crichton authored at least 18 papers between 2018 and 2024.

Collaborative distances:

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

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

CoRR, 2024

2023

A Grounded Conceptual Model for Ownership Types in Rust.

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Proc. ACM Program. Lang., October, 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