I was a Computer Science PhD student at MIT advised by Prof. Armando Solar-Lezama. My thesis was about automating tedious programming tasks using execution trace data and live demonstrations.
In the past, I have completed Master of Engineering degree at MIT under supervision of Prof. Daniel Jackson and had a great time working with Prof. Viktor Kuncak at EPFL and K. Rustan M. Leino at Microsoft Research.
|Using SMT solvers for deductive synthesis of cache-oblivious dynamic-programming algorithms|
|Data-Driven Program Synthesis|
|Using SMT solvers for constraint programming in Scala|
|Stepwise refinement of heap-manipulating code in Chalice|
|Unified execution of declarative and imperative code in Squander|
|General purpose SAT-powered bounded model checking of Java code in JForge Eclipse Plug-in|
|A JML front-end for Forge bounded verification called JMLForge|