News Archive

Feb17
MSR PhD Fellowship Award

One of the 10 students in the US who were awarded the Microsoft Research PhD Fellowship for 2017-19.
In UCLA news: [CS Dept.] | [HSSEAS Engineering School]

Jan17
Talk @ Microsoft Research
(Bengaluru, India)

Presented my work on data-driven precondition inference.
(Invited by Dr. Rahul Sharma)

Dec16

Jun16
Internship @ Microsoft
(Redmond, WA)

Interned with the PROSE Team led by Dr. Sumit Gulwani. I was working on efficient syntactic profiling techniques for strings, and their applications to improve program synthesis.

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

Presented our paper on data-driven precondition inference, PIE at PLDI 2016
(with Dr. Rahul Sharma and my advisor Prof. Todd Millstein)

May16
Written Qualifying Examination

Passed WQE — one step closer to getting my PhD!

May16
Attended the 6th SSFT
(Menlo College, CA)

This week-long school focuses on discussing the current practices in formal verification. I’d definitely recommended it to anyone interested in the area.

Jan16
Paper accepted @ PLDI'16

My paper on data-driven precondition inference, with Rahul Sharma and my advisor Todd Millstein was accepted at PLDI 2016.

Dec15
Talk @ SoCalPLS
(Pomona College, CA)

Presented my work on data-driven precondition inference. This was later published at PLDI 2016.