Wenxi Wang

Assistant Professor

The University of Virginia

Department of Computer Science

Email: wenxiw@virginia.edu


CV Twitter

We are hiring!!



Wenxi Wang

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.


News


  • [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] I am honorably 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


  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
    Journal of Automated Reasoning (JAR 2018)
    PDF
  18. 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


  • OOPSLA 2024-25 PC Member
  • TOSEM Reviewer
  • ASE 2024 Program Committee Member
  • ICML 2024 Reviewer
  • 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

Teaching


Wenxi Wang

Assistant Professor
The University of Virginia
CS Department
Email: wenxiw@virginia.edu
Wenxi Wang

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.


News


  • [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


  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
    Journal of Automated Reasoning (JAR 2018)
    PDF
  18. 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


  • 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

Teaching