conf.researchr.org / Chao Wang

Registered user since Tue 12 Jun 2018
Name:Chao Wang
Bio:
Chao Wang is an Associate Professor of Computer Science at University of Southern California. His research interests are in software engineering and formal methods, with emphasis on logic, verification and automated reasoning. He published a book, two edited books, and more than 100 papers. He chaired the program committees of CAV 2020 and AVTA 2018, and served on the program committees of conferences such as ICSE, FSE, ASE, and ISSTA. He received the U.S. Office of Naval Research (ONR) Young Investigator award, National Science Foundation (NSF) CAREER award, and best paper awards including ACM SIGSOFT Distinguished Paper award.
Country:United States
Affiliation:University of Southern California
Personal website: https://sites.usc.edu/chaowang/
Research interests:formal verification, program repair, concurrency, side channel, AI safety
Contributions
2024
2023
2022
2021
2020
ICSE
- Author of ReluDiff: Differential Verification of Deep Neural Networks within the Technical Papers-track
- Author of Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study within the Software Engineering in Practice-track
- Author of Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study within the ICSE 2020 Posters-track