Fault Localization
Analytical and empirical studies on spectrum-based fault localization metrics, with an emphasis on better ranking, interpretation, and developer-facing debugging support.
Research
Research interests
My work studies how software systems can be made more understandable, debuggable, and testable with a combination of empirical methods, static analysis, and AI-assisted tooling.
Program Analysis
Frameworks and techniques that support reasoning about program behavior, verification, and the construction of modular analysis pipelines for teaching and research.
LLMs for Software Engineering
Using large language models as part of reliable software engineering workflows, especially where explanation, debugging, and developer assistance matter.
Software Testing
Automated test generation, diagnosis-oriented testing, and infrastructure that helps developers validate software behavior at scale.