62 citations · 109 across the 12 of their papers we have counts for
3 papers · 1 filter
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala +1
Statically analyzing information flow, or how data influences other data within a program, is a challenging task in imperative languages. Analyzing pointers and mutations requires…
Automating Program Structure Classification
Will Crichton, Georgia Gabriela Sampaio, Pat Hanrahan
When students write programs, their program structure provides insight into their learning process. However, analyzing program structure by hand is time-consuming, and teachers nee…
The Role of Working Memory in Program Tracing
Will Crichton, Maneesh Agrawala, Pat Hanrahan
Program tracing, or mentally simulating a program on concrete inputs, is an important part of general program comprehension. Programs involve many kinds of virtual state that must…