Avatar from GitHub

Contact Me

Office:   Room 486, Engineering VI, UCLA
Email:   [lastname] cs.ucla.edu
Skype:   saswat[dt]padhi

Research Interests

Programming Languages,   Program Synthesis and Verification,   Statistical Learning


Bio

I am excited to join Michael Whalen’s research team, within the Automated Reasoning Group at AWS, as an Applied Scientist this summer!

I am a PhD candidate, advised by Prof. Todd Millstein, in the CS department at UCLA. Before starting PhD, I graduated from IIT Bombay in 2014 with B.Tech. (Hons.) in CSE.

My thesis work is focused on using program synthesis to aid users in writing highly reliable software. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.

I am thankful to Microsoft Research for supporting my research with a 2017–19 Microsoft Research PhD fellowship, and to UCLA for a Dissertation-Year fellowship.

Recent Updates · · · ( Details )

Jun20
May20
Defended PhD Thesis
May20
PLDI Distinguished Paper Award
Feb20
Aug19
Syntactic Profiling Patent Granted
Aug19
On PLDI ' 20 ERC
Jul19
Presentation @ CAV ' 19
( New York City, NY )
Jun19
On POPL ' 20 AEC