research
∙
09/10/2023
Debugging Trait Errors as Logic Programs
Rust uses traits to define units of shared behavior. Trait constraints b...
share
research
∙
09/08/2023
A Grounded Conceptual Model for Ownership Types in Rust
Programmers learning Rust struggle to understand ownership types, Rust's...
research
∙
07/13/2023
Typed Design Patterns for the Functional Era
This paper explores how design patterns could be revisited in the era of...
research
∙
11/26/2021
Modular Information Flow through Ownership
Statically analyzing information flow, or how data influences other data...
research
∙
01/15/2021
The Role of Working Memory in Program Tracing
Program tracing, or mentally simulating a program on concrete inputs, is...
research
∙
01/15/2021
Automating Program Structure Classification
When students write programs, their program structure provides insight i...
research
∙
11/12/2020
The Usability of Ownership
Ownership is the concept of tracking aliases and mutations to data, usef...
research
∙
11/11/2020
Documentation Generation as Information Visualization
Automatic documentation generation tools, or auto docs, are widely used ...
research
∙
08/13/2020
Analyzing Who and What Appears in a Decade of US Cable TV News
Cable TV news reaches millions of U.S. households each day, meaning that...
research
∙
10/07/2019
Rekall: Specifying Video Events using Compositions of Spatiotemporal Labels
Many real-world video analysis applications require the ability to ident...
research
∙
09/26/2019
Human-Centric Program Synthesis
Program synthesis techniques offer significant new capabilities in searc...
research
∙
04/14/2019
From Theory to Systems: A Grounded Approach to Programming Language Education
I present a new approach to teaching a graduate-level programming langua...
research
∙
01/04/2019
Identifying Barriers to Adoption for Rust through Online Discourse
Rust is a low-level programming language known for its unique approach t...
research
∙
05/18/2018