62 citations · 109 across the 12 of their papers we have counts for
4 papers · 1 filter
Rekall: Specifying Video Events using Compositions of Spatiotemporal Labels
Daniel Y. Fu, Will Crichton, James Hong +7
Many real-world video analysis applications require the ability to identify domain-specific events in video, such as interviews and commercials in TV news broadcasts, or action seq…
Human-Centric Program Synthesis
Will Crichton
Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for i…
From Theory to Systems: A Grounded Approach to Programming Language Education
Will Crichton
I present a new approach to teaching a graduate-level programming languages course focused on using systems programming ideas and languages like WebAssembly and Rust to motivate PL…
Identifying Barriers to Adoption for Rust through Online Discourse
Anna Zeng, Will Crichton
Rust is a low-level programming language known for its unique approach to memory-safe systems programming and for its steep learning curve. To understand what makes Rust difficult…