Matthew A Hammer
- PhD Student
- Department of Computer Science
I currently work on programming language techniques for self-adjusting computation. Self-adjusting computations are those in which the computation automatically adjusts itself to account for incremental changes in its evaluation environment (e.g., in its input).
I design compilation and runtime techniques to compile and run self-adjusting programs efficiently, attempting to minimize the time and space overhead associated with the approach. Simultaneously, I investigate making these programs easier to write by designing compiler analyses to infer the dependency information that would otherwise require explicit annotations from an application programmer.