| Our research has received support from industry sponsors | Apr 2024 |
| Serving as the SPLASH'24 SRC co-chair | Feb 2024 |
| Serving on the OOPSLA'24 PC | May 2023 |
| Speaking at IJCAI'23 AutoMates as keynote | May 2023 |
| Serving as the SPLASH'23 SRC co-chair | Apr 2023 |
| Serving on the Onward!'23 PC | Mar 2023 |
| Serving on the ‹Programming›'24 PC | Feb 2023 |
| Joined HKUST CSE | Jan 2023 |
| Presented at the panel on domain-specific languages and software security at CNCC 2022 | Dec 2022 |
| A patent that results from my AWS internship has been issued | Nov 2022 |
| Serving on the ECOOP'23 AEC+ERC | Nov 2022 |
| Serving on the OOPSLA'23 ERC+AEC | Oct 2022 |
| Completed my PhD with a thesis on program inference and regeneration | Sep 2022 |
| Serving on the Onward!'22 PC | Jun 2022 |
| I accepted a faculty position in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology! | May 2022 |
| Serving on the AISTA'22 PC | Apr 2022 |
| KumQuat paper to appear in PPoPP'22 | Dec 2021 |
| Serving on the OOPSLA'22 ERC+AEC | Oct 2021 |
| Harp Paper to appear in CCS'21 | Sep 2021 |
| Received KTCP certificate | Jul 2021 |
| Serving on the APLAS'21 PC | Apr 2021 |
| Serving on the AISTA'21 PC | Mar 2021 |
| Serving on the PLDI'21 AEC | Jan 2021 |
| Konure paper to appear in TOPLAS'21 | Oct 2020 |
| Named EECS Rising Star | Oct 2020 |
| Deimplicitization talk video available (MSR-RR'20) | Jun 2020 |
| Interning at Amazon Web Services | May 2020 |
| Paper to appear in MSR-RR'20 | Mar 2020 |
| Serving on the CAV'20 AEC | Nov 2019 |
| Paper to appear in Onward!'19 | Aug 2019 |
| Konure talk video available (PLDI'19) | Jul 2019 |
| Paper to appear in VL/HCC'19 | Jun 2019 |
| Serving on the SAS'19 AEC | Apr 2019 |
| Konure paper to appear in PLDI'19 | Feb 2019 |
| Paper to appear in Onward!'18 | Jul 2018 |
| RIFL talk video available (SLE'17) | Oct 2017 |
| RIFL paper won the Distinguished Artifact Award (SLE'17) | Oct 2017 |
| RIFL paper to appear in SLE'17 | Aug 2017 |