Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification


3440 Boelter Hall, UCLA, Los Angeles, CA 90095
lastname cs.ucla.edu

About Me

I am a 3rd year PhD student in the CS Department at UCLA, advised by Professor Todd Millstein. I graduated from IIT Bombay in 2014 with BTech (Honors) in CSE.

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.

Recent News

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)