Avatar from GitHub

Research Interests

Program Synthesis and Verification, Statistical Learning

About Me

I am a PhD candidate in the Computer Science dept. at UCLA, advised by Prof. Todd Millstein. Before joining UCLA, I graduated from IIT Bombay in 2014 with B.Tech. (Honors) in CSE. My thesis work is primarily focused on techniques to help programmers develop reliable software with formally verified guarantees. My research is currently supported by a 2017 — 2019 Microsoft Research PhD fellowship.

During my graduate studies, I have had the opportunity to work on a number exciting projects with several groups within Microsoft Research — once with Sumit Gulwani (PROSE Group), the second time with Ben Zorn (RiSE Group), Rishabh Singh (now at Google Brain) & Alex Polozov (MSR AI), and the third time with Rahul Sharma (Systems Group at MSR India).

While at IIT Bombay, I was working with Prof. Amitabha Sanyal and Prof. Uday Khedker in the compilers group, and was an intern with Prof. Wolf-Tilo Balke at IFIS, TU-Braunschweig.

Contact Me

Office:   486 Engineering VI, U C Los Angeles, CA 90095
Email:   *lastname* cs.ucla.edu
Skype:   saswat[dt]padhi

Recent Updates · · · ( Details )

Hybrid Enumeration CAV'19

VSRC @ Princeton University
( Princeton, NJ )
On SAS'19 and OOPSLA'19 AEC
Web Manager for SyGuS Group