Wenxi Wang
Email: wenxiw@utexas.edu
The University of Texas at Austin
Department of Electrical and Computer Engineering
Google Scholar GitHub Twitter
About
Wenxi Wang is a Ph.D. candidate at The University of Texas at Austin. Her research focuses on developing methods and tools in formal reasoning to aid the construction of secure and reliable software systems. Her interest lies in the intersection of Software Engineering, Formal Methods, and Machine Learning, with an emphasis on enhancing the efficiency and robustness of automated logical reasoning tools, and improving the security and reliability of software systems.
She is supervised by Sarfraz Khurshid in doing software verification and testing. She is also working with Kenneth McMillan for improving automated logical reasoning (e.g., SAT and MaxSAT solving) and model checking related research, and Darko Marinov on Alloy Analyzer, Flaky Tests, etc.
News
- [Apr 2024] I am honorably 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
-
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
- 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
Teaching Assistant
- [Fall 2022] Software Testing (ECE 360T), Undergraduate Level, UT Austin
- [Spring 2020] Software Testing (ECE 382C), Graduate Level, UT Austin
- [Fall 2019] Software Design & Implementation II (ECE 422C), Graduate Level, UT Austin
- [Spring 2019] Algorithmic Foundations for Software Systems (ECE 382V), Graduate Level, UT Austin
- [Fall 2016] Data Structure & Algorithms (COMP20003), Undergraduate Level, University of Melbourne
- [Fall 2016] Engineering Computation (COMP20005), Undergraduate Level, University of Melbourne
Guest Lecture
- [Fall 2023] Software Testing (ECE 382V), Graduate Level, UT Austin
Content: Introduction to automated vulnerability repair in cloud access control - [Fall 2023] Verification & Validation of Software (ECE 382C), Graduate Level, UT Austin
Content: Introduction to model counting and enumeration with Alloy analyzer - [Spring 2019] Algorithmic Foundations for Software Systems (ECE 382V), Graduate Level, UT Austin
Content: Java coding demonstration of list and stack data structures