Will Crichton

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 28

Top Topics

Programming Language

Maximal Marginal Relevance

Top Venues

Proc. ACM Program. Lang.

Publications

Will Crichton, Shriram Krishnamurthi
Profiling Programming Language Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Will Crichton, Shriram Krishnamurthi
Profiling Programming Language Learning. CoRR (2024)
Will Crichton, Shriram Krishnamurthi
A Core Calculus for Documents: Or, Lambda: The Ultimate Document. Proc. ACM Program. Lang. 8 (POPL) (2024)
Will Crichton, Shriram Krishnamurthi
A Core Calculus for Documents. CoRR (2023)
Gavin Gray, Will Crichton
Debugging Trait Errors as Logic Programs. CoRR (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Will Crichton
Typed Design Patterns for the Functional Era. CoRR (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. CoRR (2023)
Will Crichton
Typed Design Patterns for the Functional Era. FUNARCH (2023)
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Modular information flow through ownership. PLDI (2022)
Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan
Automating Program Structure Classification. SIGCSE (2021)
Will Crichton, Maneesh Agrawala, Pat Hanrahan
The Role of Working Memory in Program Tracing. CHI (2021)
Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan
Automating Program Structure Classification. CoRR (2021)
Will Crichton, Maneesh Agrawala, Pat Hanrahan
The Role of Working Memory in Program Tracing. CoRR (2021)
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Modular Information Flow Through Ownership. CoRR (2021)
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
Analysis of Faces in a Decade of US Cable TV News. KDD (2021)
Will Crichton
Documentation Generation as Information Visualization. CoRR (2020)
Will Crichton
The Usability of Ownership. CoRR (2020)
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
Analyzing Who and What Appears in a Decade of US Cable TV News. CoRR (2020)
Anna Zeng, Will Crichton
Identifying Barriers to Adoption for Rust through Online Discourse. CoRR (2019)
Will Crichton
From Theory to Systems: A Grounded Approach to Programming Language Education. CoRR (2019)
Daniel Y. Fu, Will Crichton, James Hong, Xinwei Yao, Haotian Zhang, Anh Truong, Avanika Narayan, Maneesh Agrawala, Christopher Ré, Kayvon Fatahalian
Rekall: Specifying Video Events using Compositions of Spatiotemporal Labels. CoRR (2019)
Will Crichton
Human-Centric Program Synthesis. PLATEAU@UIST (2019)
Will Crichton
From Theory to Systems: A Grounded Approach to Programming Language Education. SNAPL (2019)
Will Crichton
Human-Centric Program Synthesis. CoRR (2019)
Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian
Scanner: Efficient Video Analysis at Scale. CoRR (2018)
Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian
Scanner: efficient video analysis at scale. ACM Trans. Graph. 37 (4) (2018)
Anna Zeng, Will Crichton
Identifying Barriers to Adoption for Rust through Online Discourse. PLATEAU@SPLASH (2018)