| Jun 2026 | I attended PLDI 2026 at Boulder and presented our SemQL paper at SOAP. |
| Jun 2026 | Our paper “Prosecutor: Bayesian Counterfactual Fault Localization” got accepted at OOPSLA 2026. |
| Apr 2026 | I passed my PhD qualifying exam! |
| Apr 2026 | Our paper “LLM-Integrated Declarative Program Analysis” got accepted at SOAP Workshop of PLDI 2026. |
| Jan 2026 | I served as a member of the Artifact Evaluation Committee for PLDI 2026. |
| Jan 2026 | Our paper “Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing” got accepted at VST Workshop of SANER 2026. |
| Jan 2026 | I served as a member of the Artifact Evaluation Committee for OOPSLA 2026. |
| Dec 2025 | I received my Master’s degree from University of Southern California (USC). |
| Dec 2025 | Our paper paper “Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation” got accepted at SANER 2026. |
| Sep 2025 | I served as a member of the Artifact Evaluation Committee for ACSAC 2025. |
| Feb 2025 | I attended SoCal PLS 2025 at UC San Diego and gave a talk on “Fault Localization Through Probabilistic Models of Program Execution”. |