ZHAO Huan
About Me
I am a Ph.D. student in the School of Computing at the National University of Singapore (NUS), where 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
- [Oct-25] I will volunteer at ICFP/OOPSLA'25. Welcome to Singapore!
- [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
-
[S&P'26] Agentic Concolic Execution Code BibTex47th IEEE Symposium on Security and Privacy (Oakland), 2026.[One-line Summary] The first language- and theory-agonistic concolic execution framework, empowered by LLM agents.
-
[ASPLOS'25] Selectively Uniform Concurrency Testing Code Slides BibTex30th 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
-
(Sub-)Reviewer
- APLAS'25, TACAS'25
-
(Co-)Organizer
- Fuzzing and Software Security Summer School 2025 (Hackathon)
-
Student Volunteer
- ICFP/OOPSLA'25, PLDI'25