conf.researchr.org / Chao Wang
Chao Wang

Registered user since Tue 12 Jun 2018

Name: Chao Wang

Country: United States

Affiliation: USC

Personal website: https://sites.usc.edu/chaowang/

Contributions

ASE 2020Author of NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation within the Research Papers-track
ASE 2019Author of Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation within the Research Papers-track
PLDI 2019Author of Abstract Interpretation under Speculative Execution within the PLDI Research Papers-track
ICSE 2020Author 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
ICSE 2019Author of ConTesa: Directed Test Suite Augmentation for Concurrent Software within the Journal-First Papers-track
ESEC/FSE 2018Author of Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks within the Research Papers-track
ISSTA 2017Session Chair of Concurrency (part of Technical Papers)
ISSTA 2018Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track