| 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 |