With Rahul Gopinath (University of Sydney) since
2023. drdd, a structure-agnostic drop-in replacement for ddmin, preserves 1-minimality
while cutting oracle calls 2–60× across four input formats; accepted at ISSRE 2026. Alongside it I build
grammar-based fuzzers in C and the compiler-style tooling that generates them from grammar specifications.
A reduction run is not only a way to shrink an input — it is a stream of evidence about which inputs a
program will and will not accept. The current thread infers acceptance grammars from ddmin runs
and uses them to generate minimal inputs directly, rather than searching for them after the fact.
I am applying for doctoral study, 2027 entry, to continue in this direction.
Two threads sit beside the main one, and both are about giving a messy domain a structure that a compiler can reason over. HyDRA, my undergraduate thesis, is a programmable slug-flow microfluidic substrate with an SSA instruction set and a finite-state safety model whose properties are decidable ahead of time. The Recipe Action-Graph DSL compiles natural-language recipes into typed graphs of ingredients, transformations, and procedural branches.
