news
| May 6, 2024 | Our preprint of detecting semantic bugs is available on arXiv. |
|---|---|
| May 5, 2024 | I will conduct internship at Microsoft Research at Redmond, WA this summer. Excited to see you there! |
| Dec 6, 2023 | I received the Distinguished Artifact Reviewer Award from ACSAC ‘23. |
| Aug 23, 2023 | My personal website is online now. I will keep updating it. |
| Aug 12, 2023 | Our paper is presented at USENIX Security '23 |