Research code, open-source contributions, and tools for understanding software behavior.
Research code · Runtime monitoring
Runtime monitoring of consistency between a driving vision-language-action model’s reasoning and its planned trajectory. This work includes a benchmark of 150 manually annotated reasoning–trajectory pairs and monitors that account for road geometry.
Open source · Contributor
A feedback-directed random test generator for Java. I extended Randoop with type-dependency analysis to construct missing test inputs and side-effect analysis to generate diverse object states.
I also built an evaluation pipeline across 30+ Java projects, measuring code coverage and fault detection with mutation testing.
Research prototype · Team project
A static analysis tool for discovering API call sequences that construct a desired object type. It extracts type and API relationships from source code, then searches a shared graph representation.
Built for Java and Rust to explore the tradeoffs between cross-language extensibility, development effort, and solution correctness.