Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification

Contact

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

About Me

I am a 4th year PhD student in the CS Department at UCLA, advised by Prof. Todd Millstein. I graduated from IIT Bombay in 2014 with BTech (Honors) in CSE. My research is primarily focused on providing practical solutions for helping developers build reliable software with verified guarantees.

Previously, I have interned at Microsoft Research — once with Sumit Gulwani (in the PROSE Group), and the second time with Ben Zorn and Rishabh Singh (in the RiSE Group). 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.

Recent Updates · · · ( Details )

Jul18
Winner of SyGuS-COMP'18 (INV track)
Jul18
Jun18
Paper Accepted @ OOPSLA'18
Jun18

Nov17
(Remote) RSDE @ Microsoft Research
(Redmond, WA)
Jul17