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 2021	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