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.
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 ]
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.
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.
Passed the OQE and have now advanced to candidacy!
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 ]
Presented my work on data-driven precondition inference. (Invited by Rahul Sharma)
Presented my work on data-driven precondition inference at the Software Research Lunch.
Presented my work on data-driven precondition inference to the programming languages and software verification group at UC Berkeley. (Invited by Prof. Sanjit Seshia)
Passed 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’d definitely recommended it to anyone interested in the field.
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.