Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification

Contact

3440 Boelter Hall, UCLA, Los Angeles, CA 90095
lastname cs.ucla.edu
saswat[dot]padhi

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

Feb17
Jan17
Talk @ Microsoft Research
(Bengaluru, India)

Jun~Dec16
Internship @ Microsoft
(Redmond, WA)

Jun16
Paper Presentation @ PLDI'16
(Santa Barbara, CA)

May16
Written Qualifying Examination

[Archive]