Chao Wang

Registered user since Tue 12 Jun 2018

Name:Chao Wang
Country:United States
Affiliation:USC

Contributions

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