Research
Program analysis and software reliability
I'm a final-year B.Sc. (Hons.) student at Ashoka University, working in program analysis and software reliability — principally grammar-based fuzzing, delta debugging, and the reduction of failure-inducing inputs, with adjacent work in programmable microfluidics and natural-language procedure modelling.
Program analysis · Software reliability · Grammar-based fuzzing · Delta debugging & reduction · Compilers & DSLs · Static program reasoning
I'm applying for doctoral study for 2027 entry, and seeking a funded MPhil or PhD position.
Current work
Fuzzing, delta debugging & input reduction
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; the
paper is under major revision at ISSRE 2026. Alongside it, I build grammar-based fuzzers in C and
the compiler-style tooling that generates them from grammar specifications. A current thread infers
acceptance grammars from ddmin runs to generate minimal inputs.
Selected projects & code
dd-lab
Test bench · delta debugging
A delta-debugging test bench: implementations of five reduction algorithms (ddmin,
ddminY, drdd, ProbDD, and CDD) under a common framework, run against custom
predicate families built from real bug-reproducing inputs — ffmpeg, XML, binutils, and crashjs,
spanning binary media, structured text, object files, and source. Includes the harness that drives
every algorithm over every family, and scripts for comparative benchmarking and real-time analysis of
oracle cost, runtime, and reduction quality.
Grammar-based fuzzer
Tool · fuzzingGrammar-based fuzzers in C, with compiler-style tooling that generates them from grammar specifications — profiled and tuned at the implementation level for throughput.
HyDRA
Architecture · microfluidicsClosed-loop slug-flow architecture, SSA instruction set, and finite-state safety model, realisable in standard multilayer PDMS. A reference compiler and machine-checked correctness are in progress.
Recipe Action-Graph DSL
Language · food computingAn extensible DSL compiling recipes to DAGs of ingredients, intermediate components, transformations, and procedural branches, with an LLM-based pipeline that validates plain-language recipes against it. Built in the Mphasis AI & Applied Tech Lab at Ashoka.
Personal projects
passenger
Web app · securityA lightweight, client-side password generator and manager — built and used day to day, with everything kept in the browser.
cheshire
Tool · cryptanalysisA Playfair-cipher solver that recovers keys by simulated annealing over a fitness landscape of candidate decryptions.