Wenxi Wang
Assistant Professor
The University of Virginia
CS Department
Email: wenxiw@virginia.edu
About
My interests lie in the intersection of Software Engineering,
Software Security, Formal Methods, and Machine Learning. My research is
dedicated to enhancing the security and reliability of software systems, including AI systems.
To achieve this goal, I focus on developing and applying efficient
techniques in formal methods and machine learning, as well as exploring
the synergies between these two fields.
I did my PhD at The University of Texas at
Austin, supervised by
Sarfraz Khurshid. During my PhD, I have also been closely working
with Kenneth McMillan and
Darko Marinov.
I am looking for self-motivated PhD candidates who share similar research interests with me! Please click here for more information. If you're interested in working with me, please fill out this form. You’re also welcome to follow up via email. While I will review all submissions, I apologize in advance if I'm unable to respond to everyone.
News
- [Dec 2024]
Invited to serve as a PC member for ICSE 2026.
- [Nov 2024]
Invited to serve as a PC member for CAV 2025.
- [Oct 2024]
Invited to serve as a PC member for LLM4Code 2025 Workshop.
- [Aug 2024]
Invited to serve as a PC member for OOPSLA 2024-25.
- [Apr 2024]
Invited to serve as a reviewer for TOSEM.
- [Jan 2024]
Our NeuroBack paper got accepted by ICLR 2024!
- [Dec 2023]
I am honorably invited to serve as a Program Committee Member for ASE 2024!
- [Dec 2023]
I am invited by the program chair committee of ICML 2024 to serve as a Reviewer.
- [Oct 2023]
we have released our DataBack, the first publicly available large-scale dataset (containing 120,286 data samples) in deep learning for SAT!
- [Aug 2023]
I am invited by the program chair committee of ICLR 2024 to serve as a Reviewer.
- [Jul 2023]
Our IAM repair paper got accepted by ASE’2023!
- [Jul 2023]
Honorably be invited as the session chair of “Verification and Testing” session in ECOOP 2023.
- [Jun 2023]
Received the George J. Heuer, Jr. Ph.D. Endowed Graduate Fellowship Fund for 2023-2024 from the Cockrell School of Engineering, UT Austin.
- [May 2023] Our CadiBack tool paper got accepted by SAT’2023!
- [Aug 2022] Honorably got in Rising Stars in EECS 2022
- [May-Aug 2022] Joined Automated Reasoning Group at Amazon Web Service as a research summer intern.
Publications
-
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
The 12th International Conference on Learning Representations (ICLR 2024)
PDF
-
Yang Hu*, Wenxi Wang*, Sarfraz Khurshid, Mohit Tiwari
Interactive Greybox Penetration Testing for Cloud Access Control using IAM Modeling and Deep Reinforcement Learning
arXiv preprint
* denotes that these authors contribute equally to the paper
PDF
-
Yang Hu*, Wenxi Wang*, Sarfraz Khurshid, Kenneth McMillan, Mohit Tiwari
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
* denotes that these authors contribute equally to the paper.
PDF
-
Armin Biere, Nils Froleyks, Wenxi Wang
CadiBack: Extracting Backbones with CaDiCaL
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023, Tool Paper)
PDF
-
Wenxi Wang, Yang Hu, Kenneth McMillan, Sarfraz Khurshid
SymMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications
The 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
PDF
-
Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi
Repairing Order-Dependent Flaky Tests via Test Generation
The 44th International Conference on Software Engineering (ICSE 2022)
PDF
-
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests using Alloy
The 33rd IFIP International Conference on Testing Software and Systems (ICTSS 2021) (short paper)
PDF
-
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
The 20th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
PDF
-
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel and Sarfraz Khurshid
A Study of Symmetry Breaking Predicates and Model Counting
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
PDF
-
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
AlloyMC: Alloy Meets Model Counting
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE 2020, Tool Demo)
PDF
-
Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
TestMC: Testing Model Counters Using Differential and Metamorphic Testing
The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
PDF
-
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
The 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)
PDF
-
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid
A Study of Learning Likely Data Structure Properties using Machine Learning Models
International Journal on Software Tools for Technology Transfer (STTT 2020)
PDF
-
Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
Incremental Analysis of Evolving Alloy Models
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
PDF
-
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
International SPIN Symposium on Model Checking of Software (SPIN 2019)
PDF
-
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Learning to Optimize the Alloy Analyzer
IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
PDF
-
Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
Journal of Automated Reasoning (JAR 2018)
PDF
-
Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
A Bit-Vector Solver with Word-Level Propagation
Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2016)
PDF
Services
- ICSE 2026 PC Member
- CAV 2025 PC Member
- Session Chair of “LLM for SE 2” and "SE for AI 2" sessions in ASE 2024
- LLM4Code 2025 Workshop PC Member
- OOPSLA 2024-25 PC Member
- TOSEM Reviewer
- ASE 2024 Program Committee Member
- ICLR 2024 Reviewer
- Session Chair of “Verification and Testing” session in ECOOP 2023
- NeurIPS 2023 Reviewer
- ICML 2023 Reviewer
- PLDI 2023 Artifact Evaluation Committee Member
- ECOOP 2023 Artifact Evaluation Committee Member and Extended Review Committee Member
- ISSTA 2023 Artifact Evaluation Committee Member
- USENIX Security 2023 Artifact Evaluation Committee Member
- NeurIPS 2022 Reviewer
- ISSTA 2022 Artifact Evaluation Committee Member
- PLDI 2022 Artifact Evaluation Committee Member
- PLDI 2021 Artifact Evaluation Committee Member
- External Reviewer: TACAS 2022, FSE 2021, ICST 2020, ASE 2020, ISSRE 2020, and ICSE 2019