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.