Registered user since Thu 6 Apr 2017
I am a PhD candidate of computer science at Purdue University. I am a member of the programming languages group, working under the supervision of Professor Suresh Jagannathan and Professor Benjamin Delaware.
My PhD thesis is focused around compilation, synthesis, and testing of modern database-backed programs. More broadly, I am interested in all formal methods for modeling and analysis of (classical or quantum) computer programs.
I was previously a research intern at Microsoft, working on a new program synthesis technique based on pre-trained language models. My work was supervised by Dr. Mohammad Raza and Dr. Sumit Gulwani.
|SPLASH 2021|| Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring|
Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
|Show activities from other conferences|