Wenxi Wang

Dr. Wenxi Wang is an Assistant Professor in the Department of Computer Science at the University of Virginia, where he leads the Hiprel research group. He completed his PhD at the University of Texas at Austin under the supervision of Sarfraz Khurshid, with close collaborations with Kenneth McMillan and Darko Marinov. His research bridges software engineering, formal methods, and machine learning, focusing on enhancing software security and reliability through innovative techniques.

Research Interests: Wang's interdisciplinary work explores: (1) Integration of deep learning (LLMs, GNNs) with automated reasoning tools like SAT/SMT solvers; (2) Enhancement of software verification tools (Verus, Dafny) using LLMs; (3) Improvement of ML model/framework reliability; and (4) Advanced code generation quality through verification. His group develops methods to combine formal methods with machine learning for robust software systems.

Recent Publications: Wang's 15 most recent publications (2018-2024) demonstrate consistent focus on ML-formal methods integration, particularly in SAT solving, software verification, and testing. Key trends include GNNs for constraint solving, automated repair of security vulnerabilities, and novel testing methodologies for formal tools. His work appears in top venues including ICLR, ASE, ESEC/FSE, and ICSE.

Awards and Honors:

• George J. Heuer, Jr. Ph.D. Endowed Graduate Fellowship (2023-2024)
• Rising Stars in EECS (2022)

Research Group: Leads the Hiprel Group with 6 members:

• PhD Students: Zichen Xie (ML for verification), Lize Shao (LLMs for SE)
• Master's: Chaitanya Shahane (LLMs for testing)
• Undergraduate: Carter Opperman (SAT solving)
• Interns: Tianyi Huang (ML for SAT), Mrigank Pawagi (LLMs for protocol verification)