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).
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).
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.
I am super excited to attend this two-day workshop at Microsoft Research (Redmond) and meet other Microsoft Research PhD fellows & award winners.
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 ]
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.
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.
I passed the OQE and have now advanced to candidacy!
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
I passed the WQE — one step closer to getting my PhD!
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.
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.
I presented my work on data-driven precondition inference at the 15th Southern California Programming Languages and Systems (SoCalPLS) workshop.