Hao (Tony) Wang

Ph.D. Student@UCB

prof_pic.jpg

I am a first-year Ph.D. student in computer science at University of California, Berkeley, jointly advised by Koushik Sen and Dawn Song. I am interested in the intersection of Security, SE, and LLM, with a current focus on secure code generation.

During my undergraduate, I worked on software testing with Darko Marinov, Tao Xie, and Tianyin Xu. I also worked on quantum computing with Tongyang Li with a focus on optimization algorithms.

You can find my CV here: Tony’s Curriculum Vitae

news

Apr 15, 2025 Our paper Type-Constrained Code Generation with Language Models is accepted at PLDI 2025!
Sep 2, 2023 I am selected as a young researcher at HLF 2023! Looking forward to meeting the laureates and peer researchers :laughing: :satisfied:

selected publications

  1. Type
    Type-Constrained Code Generation with Language Models
    Mündler, Niels, He, Jingxuan,  Wang, Hao, Sen, Koushik, Song, Dawn, and Vechev, Martin
    In PLDI 2025