Chao Wang

Registered user since Sun 24 May 2015

Name:Chao Wang
Country:United States
Affiliation:University of Southern California
Research interests:concurrency, formal verification, program synthesis, embedded security

Contributions

ASE 2020 Committee Member in Program Committee within the Research Papers-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ICSE 2021 Committee Member in Program Committee within the Journal-First Papers-track
TAV-CPS/IoT 2018 Committee Member in Program Committee within the TAV-CPS/IoT-track
SALAD 2018 Committee Member in Program Committee within the SALAD-track
ICSE 2020 Programme Committee in Program Committee within the Technical Papers-track
Author of Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem within the Technical Papers-track
ICSE 2019 Committee Member in Program Board within the Technical Track-track
ESEC/FSE 2018 Committee Member in Program Committee within the Industry-track
ISSTA 2017 Workshops Co-Chair in Organizing Committee
Speaker of Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance within the TECPS-track
Committee Member in Program Committee
ISSTA 2018 Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track
ECOOP and ISSTA 2018 Committee Member in Posters Committee within the Posters-track
PLDI 2015 Author of Dynamic Partial Order Reduction for Relaxed Memory Models within the Research Papers-track
SPLASH 2012 Committee Member in Program Committee