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 research is primarily focused on techniques that help programmers write reliable software. I am 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

486 Engineering VI, U C Los Angeles, CA 90095
*lastname* cs.ucla.edu
saswat[d●t]padhi

Recent Updates · · · ( Details )

Jan19
Slicing Technique Accepted @ CC'19
Dec18
Nov18
Presented FlashProfile @ OOPSLA'18
(Boston, MA)
Oct18
Mar19

Sep18
Internship @ Microsoft Research
(Bengaluru, India)
Jul18