Wenxi Wang - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Fri 29 Mar 2019

Name:Wenxi Wang

Country:United States

Affiliation:University of Texas at Austin

Personal website: https://wenxiwang.github.io/

Research interests:Formal Method, SAT/SMT Solving, Software Verification, Machine Learning

Contributions

2023

ECOOP

Session Chair of ECOOP 7: Verification and Testing (part of Research Papers)
Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track

ISSTA

Committee Member in Artifact Evaluation within the Artifact Evaluation-track

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile