Wenxi Wang

Wenxi Wang

Wenxi Wang - About Me

Email: wenxiw@utexas.edu

Wenxi Wang is a sixth year Ph.D. candidate at The University of Texas at Austin, in the Electrical and Computer Engineering Department. Her research lies in the intersection of Software Engineering, Formal Methods, and Machine Learning, incorporating methods across these three fields with an emphasis on enhancing the efficiency and robustness of formal reasoning tools, improving the reliability and security of critical software systems, and studying the learning ability of machine learning models. She is supervised by Prof. Sarfraz Khurshid in doing software verfication and testing. She is also working with Prof. Kenneth Mcmillan for model checking related research, and Prof. Darko Marinov for joint work on Alloy, Flaky Tests, etc.

** I am on the academic job market this year (2023-2024) **

News:

  • [Aug 2023] be invited by the program chair committee of ICLR 2024 to serve as 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, 2022.

Services:

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