ZHAO Huan
About Me
I am a Ph.D. candidate in the School of Computing at the National University of Singapore (NUS). I am fortunate to be advised by Provost’s Chair Professor Abhik Roychoudhury and Presidential Young Professor Umang Mathur. Prior to that, I obtained my Bechalor degree (first-class honours) also from NUS in 2023.
I am generally interested in understanding and enhancing the trustworthiness of modern software, especially in the design and algorithmic aspects of automated testing / verification technologies. I am actively working on different techniques on the spectrum, including agent-based, symbolic, and randomized approaches.
Recent News
- [Jun-25] I will attend PLDI'25 and PLMW. See you in Seoul!
- [May-25] We are organizing a fuzzing hackathon @ Fuzzing Summer School 2025!
- [Mar-25] I will attend ASPLOS/EuroSys'25. See you in Rotterdam!
- [Dec-24] I passed the QE and have officially become a PhD candidate!
Publications
-
[ASPLOS'25] Selectively Uniform Concurrency Testing Code Slides30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025.[One-line Summary] Exposing concurrency bugs with optimal probabilistic guarantees via random testing.
Services
-
Artifact Evaluation Committee
- PLDI'25, FUZZING @ ISSTA'25
-
(Sub-)Reviewer
- TACAS'25, APLAS'25
-
(Co-)Organizer
- Fuzzing and Software Security Summer School 2025 (Hackathon)
-
Student Volunteer
- PLDI'25, ICFP/OOPSLA'25