Program Analysis, Synthesis and Verification
3440 Boelter Hall, UCLA, Los Angeles, CA 90095
My research focuses on developing practical solutions for helping programmers build reliable software with verified guarantees. Currently I am exploring data-driven techniques for generating likely program specifications and inductive invariants.
Previously, I have interned with Sumit Gulwani in the PROSE group at Microsoft, on pattern-based type inference for unstructured data. While at IIT Bombay, I have worked with Professor Amitabha Sanyal on lazy static slicing of functional programs, with Professor Uday Khedker on machine descriptions in GCC and have interned with Professor Wolf-Tilo Balke at IFIS, TU-Braunschweig on a comparative analysis of text similarity measures.
|Jan 17||Talk @ Microsoft Research (Bengaluru, India)|
|Jun~Dec 16||Internship @ Microsoft (Redmond, WA)|
|Jun 16||Paper presentation @ PLDI (Santa Barbara, CA)|
|May 16||Attended the 6th SSFT (Menlo College, CA)|
|May 16||Written Qualifying Examination|
|Jan 16||Paper accepted @ PLDI|
|Dec 15||Talk @ SoCalPLS (Pomona College, CA)|