Updates

Mar19
Joined the SyGuS-Comp OC

I joined the organizing committee of the annual SyGuS competition. Preparations for the 6th SyGuS-Comp, to be held with SYNT@CAV 2019, have already begun! Please consider submitting your SyGuS benchmarks and/or solvers (deadline: 1st May and 14th June respectively).

Feb19
On DebugML (at ICLR'19) PC

I am serving on the program committee of the DebugML workshop at ICLR 2019. The goal of this workshop is to discuss a variety of topics, such interpretability, verification, human-in-the-loop debugging etc. to help developers build robust ML models. Please consider submitting your work (deadline: 1st March).

Jan19
Slicing Technique CC'19

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

Dec18
Web Manager for SyGuS Group

I am serving as the web manager for the SyGuS group. We recently revamped our website, and are now maintaining a repository for the language standard, tools and benchmarks on our GitHub organization.

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

I presented my work on pattern-based profiling at SPLASH-OOPSLA 2018.

Oct18
Invited to Microsoft PhD Summit
(Redmond, WA)

I am 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)

I am interning with Rahul Sharma in the Systems group, and am working on techniques to mitigate the expressiveness-vs-performance tradeoffs in the SyGuS framework.

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

I am serving on the artifact evaluation committee of SPLASH-OOPSLA 2018. Artifact evaluation ensures that the results claimed in research papers are easily and accurately reproducible.

Jun18
FlashProfile OOPSLA'18

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

Jun18

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

I am continuing 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)

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

Sep17

Jun17
Internship @ Microsoft Research
(Redmond, WA)

I am interning with Ben Zorn and Rishabh Singh in the RiSE Group, and am working on detecting and repairing inconsistencies in spreadsheet data.

May17
Oral Qualifying Examination

I passed the OQE and have now advanced to candidacy!

Feb17
MSR PhD Fellowship Award

I am 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)

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

Dec16

Jun16
Internship @ Microsoft
(Redmond, WA)

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

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

I presented my work on data-driven precondition inference at PLDI 2016.

May16
Talk @ Stanford University
(Stanford, CA)

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

May16
Talk @ UC Berkeley
(Berkeley, CA)

I 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

I passed the 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 would definitely recommended it to anyone interested in the field.

Jun16

Mar16
Graduate TA for CS 131
(Dept. of Computer Science, UCLA)

I am a teaching assistant for 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, my notes are publicly available in the S16_TA_CS131 repo.

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

I presented my work on data-driven precondition inference at the 15th Southern California Programming Languages and Systems (SoCalPLS) workshop.