Follow
Will Crichton
Title
Cited by
Cited by
Year
Scanner: Efficient video analysis at scale
A Poms, W Crichton, P Hanrahan, K Fatahalian
ACM Transactions on Graphics (TOG) 37 (4), 1-13, 2018
862018
Rekall: Specifying video events using compositions of spatiotemporal labels
DY Fu, W Crichton, J Hong, X Yao, H Zhang, A Truong, A Narayan, ...
arXiv preprint arXiv:1910.02993, 2019
532019
Identifying Barriers to Adoption for Rust through Online Discourse
A Zeng, W Crichton
Proceedings of the 9th Workshop on Evaluation and Usability of Programming …, 2018
212018
Analysis of faces in a decade of us cable tv news
J Hong, W Crichton, H Zhang, DY Fu, J Ritchie, J Barenholtz, B Hannel, ...
KDD'21: Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery …, 2021
152021
The role of working memory in program tracing
W Crichton, M Agrawala, P Hanrahan
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021
142021
Modular information flow through ownership
W Crichton, M Patrignani, M Agrawala, P Hanrahan
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
122022
The Usability of Ownership
W Crichton
Proceedings of the 1st Workshop on Human Aspects of Types and Reasoning …, 2020
122020
Analyzing who and what appears in a decade of US cable TV news
J Hong, W Crichton, H Zhang, DY Fu, J Ritchie, J Barenholtz, B Hannel, ...
arXiv preprint arXiv:2008.06007, 2020
82020
Automating program structure classification
W Crichton, GG Sampaio, P Hanrahan
Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021
42021
Human-Centric Program Synthesis
W Crichton
Proceedings of the 10th Workshop on Evaluation and Usability of Programming …, 2019
42019
A Grounded Conceptual Model for Ownership Types in Rust
W Crichton, G Gray, S Krishnamurthi
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1224-1252, 2023
32023
Revisiting Program Slicing with Ownership-based Information Flow
W Crichton
Stanford University, 2022
12022
From Theory to Systems: A Grounded Approach to Programming Language Education
W Crichton
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019
12019
A Core Calculus for Documents: Or, Lambda: The Ultimate Document
W Crichton, S Krishnamurthi
Proceedings of the ACM on Programming Languages 8 (POPL), 667-694, 2024
2024
Profiling Programming Language Learning
W Crichton, S Krishnamurthi
arXiv preprint arXiv:2401.01257, 2024
2024
A Core Calculus for Documents
W Crichton, S Krishnamurthi
arXiv preprint arXiv:2310.04368, 2023
2023
Debugging Trait Errors as Logic Programs
G Gray, W Crichton
arXiv preprint arXiv:2309.05137, 2023
2023
Typed Design Patterns for the Functional Era
W Crichton
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023
2023
Paradigm Problems: A Case Study on rebalance
W Crichton
2022
Documentation Generation as Information Visualization
W Crichton
Proceedings of the 11th Workshop on Evaluation and Usability of Programming …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20