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, advised by Koushik Sen. I am interested in the Software Engineering and LLM.

During my undergraduate, I worked on software testing with Darko Marinov, Tao Xie, and Tianyin Xu.

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