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