Wenxi Wang

Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz, Khurshid
AlloyMC: Alloy Meets Model Counting (To Appear)
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tool Demos
(ESEC/FSE Demo 2020)

​

Muhammad Usman, Wenxi Wang, Sarfraz Khurshid

TestMC: A Framework for Testing Model Counters (To Appear)

IEEE/ACM International Conference on Automated Software Engineering

(ASE 2020).

​

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)

ACM SIGPLAN Conference on Programming Language Design and Implementation

(PLDI 2020).

​

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).

​

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid

Study of Learning Data Structure Invariants Using Off-the-shelf Tools

International SPIN Symposium on Model Checking of Software

(SPIN 2019).

​

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)

​

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).

​

Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
Journal of Automated Reasoning
(JAR 2018).

​

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).