Wenxi Wang - About Me

Email: wenxiw@utexas.edu

I am a fifth year PhD student at Electrical and Computer Engineering (ECE) Department, University of Texas at Austin, supervised by Prof. Sarfraz Khurshid. I am also working with Prof. Kenneth Mcmillan for improving SAT solving, and Prof. Darko Marinov for joint work on Alloy, Flaky Tests, etc. My interests mainly focus on SAT/SMT solving, SAT based Model Checking, Model Counting, Software Testing, and Machine Learning including Neural Networks.

Services:

ICML 2023 Reviewer.
PLDI 2023 Artifact Evaluation Committee Member.
ECOOP 2023 Artifact Evaluation Committee Member and Extended Review 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.

News:

Honorably got in Rising Stars in EECS 2022
Joined Automated Reasoning Group at Amazon Web Service as a research summer intern, 2022.