Updates

Jan19
Slicing Technique Accepted @ CC'19

An improved version of my undergraduate thesis work on slicing functional programs, with Prasanna Kumar, Prof. Amey Karkare and my then-advisor Prof. Amitabha Sanyal, was accepted at CC 2019.

Dec18
Web Manager for SyGuS Group

I am serving as the web manager for the syntax-guided synthesis group. We recently revamped the SyGuS website, and are now maintaining a common repository for SyGuS tools and benchmarks on our GitHub organization. The old website is still available (for now) on UPenn SEAS.

Nov18
Presented FlashProfile @ OOPSLA'18
(Boston, MA)

Presented my work on paper on pattern-based profiling at SPLASH-OOPSLA 2018
(with PROSE Group (at Microsoft) and my advisor Prof. Todd Millstein)

Oct18
Invited to Microsoft PhD Summit
(Redmond, WA)

Super excited to attend this two-day workshop at Microsoft Research (Redmond) and meet other Microsoft Research PhD fellows & award winners.

Mar19

Sep18
Internship @ Microsoft Research
(Bengaluru, India)

Interning with Rahul Sharma in the Systems group. I am working on extensions to our prior work on invariant synthesis for software verification (see LoopInvGen).

Jul18
FLoC Olympics Medal for SyGuS-COMP'18

For the second time, our loop invariant inference tool LoopInvGen (based on PIE) won the INV track of SyGuS-COMP 2018. We received a FLoC Olympic Games medal, which is awarded every 4 years.
LoopInvGen solved 91% of the benchmarks — was the fastest solver for 89% of them (16% more than the runner-up), and produced the shortest invariants for 74% of them (20% more than the runner-up).
In UCLA news: [ Computer Science ]

Jul18
On OOPSLA'18 AEC

Served on the SPLASH-OOPSLA 2018 AEC (Artifact Evaluation Committee). Artifact evaluation ensures that the results claimed in research papers are easily and accurately reproducible.

Jun18
FlashProfile Accepted @ OOPSLA'18

My paper on pattern-based profiling, with PROSE Group (at Microsoft) and my advisor Prof. Todd Millstein, was accepted at SPLASH-OOPSLA 2018 for publication in the PACMPL journal.

Jun18

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

Continued the exciting work with Ben Zorn, Rishabh Singh (now at Google Brain), and Alex Polozov on generating insights about tabular data in spreadsheets.

Jul17
Winner of SyGuS-COMP'17 (INV track)

Our loop invariant inference tool LoopInvGen (based on PIE) won the INV track of SyGuS-COMP 2017. On an average, LoopInvGen was ~70x faster than the runner-up.

Jul17
Attended the 1st DSSS
(Philadelphia, PA)

The two-week-long DeepSpec Summer School discussed the state-of-the-art techniques for specification and verification of full functional correctness of software and hardware.

Sep17

Jun17
Internship @ Microsoft Research
(Redmond, WA)

Interned with Ben Zorn and Rishabh Singh (now at Google Brain) in the RiSE Group. I worked on detecting and repairing inconsistencies in spreadsheet data.

May17
Oral Qualifying Examination

Passed the OQE and have now advanced to candidacy!

Feb17
MSR PhD Fellowship Award

Honored to be one of the 10 PhD candidates in the US who were awarded the Microsoft Research PhD fellowship for 2017 – 19.
In UCLA news: [ Computer Science ] | [ Engineering School (HSSEAS) ]
Other mentions: [ Microsoft Research blog post ] | [ Microsoft Research tweet ] | [ HSSEAS tweet ]

Jan17
Talk @ Microsoft Research
(Bengaluru, India)

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

Dec16

Jun16
Internship @ Microsoft
(Redmond, WA)

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

Jun16
Presented PIE @ PLDI'16
(Santa Barbara, CA)

Presented my work on data-driven precondition inference at PLDI 2016
(with Rahul Sharma and my advisor Prof. Todd Millstein)

May16
Talk @ Stanford University
(Stanford, CA)

Presented my work on data-driven precondition inference at the Software Research Lunch.

May16
Talk @ UC Berkeley
(Berkeley, CA)

Presented my work on data-driven precondition inference to the programming languages and software verification group at UC Berkeley. (Invited by Prof. Sanjit Seshia)

May16
Written Qualifying Examination

Passed WQE — one step closer to getting my PhD!

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

The week-long Summer School on Formal Techniques discussed the state-of-the-art techniques in formal verification. I’d definitely recommended it to anyone interested in the field.

Jun16

Mar16
Teaching Assistant for CS 131
(Dept. of Computer Science, UCLA)

TA-ed the upper-division Programming Languages (CS 131) course, taught by my advisor Prof. Todd Millstein, for the second time (after Fall 2014). For those interested, find my notes in the S16_TA_CS131 repo.

Jan16
Dec15
Talk @ SoCalPLS'15F
(Pomona College, CA)

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