input: [Brief Summary] Our compiler research addresses the twin concerns of correctness and performance, with a focus on recurrence in the use of data—determining whether a complex program has an inherent pattern of data reuse and, if so, to what degree that pattern can be modeled, measured, and modified (improved). [Project Name] 
output: Compiler Research, including Distance- and Footprint-Based Locality Analysis and Optimization