Overview
I am interested in static and dynamic software analyses, and their use for challenging tasks in software optimization, understanding, testing, and evolution. Such work combines
development of rigorous formal techniques to model the behavior of software systems, at various levels of abstraction
design and implementation of efficient algorithms and data structures for software analyses and transformations, based on these formal foundations
experimental evaluation of these analyses and transformations on real-world software systems
Projects
A comprehensive framework for efficient, scalable, and performance-portable tensor applications: collaborative work with Prof. Sadayappan and his group at the University of Utah, funded by NSF grants CCF-2216903 (5-year project, started July 2022, $5M total funding across all participating institutions) and CCF-2118737 (planning grant for CCF-2216903).
Completed projects: details are available in my CV
Students
Braeden Jeske (Ph.D. student)
Chris Yao (Ph.D. student)
Former students: details are available in my CV