Chao Wang
University of Southern California
H-index: 40
North America-United States
Top articles of Chao Wang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Constraint Based Program Repair for Persistent Memory Bugs | Zunchen Huang Chao Wang | 2024/4 | |
Constraint Based Compiler Optimization for Energy Harvesting Applications | Yannan Li Chao Wang | 2023/7 | |
Synthesizing MILP Constraints for Efficient and Robust Optimization | Proceedings of the ACM on Programming Languages | Jingbo Wang Aarti Gupta Chao Wang | 2023/6/6 |
Certifying the Fairness of KNN in the Presence of Dataset Bias | Yannan Li Jingbo Wang Chao Wang | 2023/7/17 | |
Systematic Testing of the Data-Poisoning Robustness of KNN | Yannan Li Jingbo Wang Chao Wang | 2023/7/12 | |
Example Guided Synthesis of Linear Approximations for Neural Network Verification | Brandon Paulsen Chao Wang | 2022/7 | |
Synthesizing Fair Decision Trees via Iterative Constraint Solving | Jingbo Wang Yannan Li Chao Wang | 2022/8/6 | |
Symbolic Predictive Cache Analysis for Out-of-Order Execution | Zunchen Huang Chao Wang | 2022/3 | |
Understanding Concurrency Vulnerabilities in Linux Kernel | arXiv preprint arXiv:2212.05438 | Zunchen Huang Shengjian Guo Meng Wu Chao Wang | 2022/12/11 |
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions | Brandon Paulsen Chao Wang | 2022/3 | |
Proving Robustness of KNNs Against Adversarial Data Poisoning | Yannan Li Jingbo Wang Chao Wang | 2022/10/18 | |
Learning to Synthesize Relational Invariants | Jingbo Wang Chao Wang | 2022/10/10 | |
DiffRNN: Differential Verification of Recurrent Neural Networks | Sara Mohammadinejad Brandon Paulsen Chao Wang Jyotirmoy V Deshmukh | 2021 | |
Data-Driven Synthesis of a Provably Sound Side Channel Analysis | Jingbo Wang Chungha Sung Mukund Raghothaman Chao Wang | 2021/5 | |
ReluDiff: Differential Verification of Deep Neural Networks | Brandon Paulsen Jingbo Wang Chao Wang | 2020/6/27 | |
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings | Shuvendu K Lahiri Chao Wang | 2020 | |
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation | Brandon Paulsen Jingbo Wang Jiawei Wang Chao Wang | 2020/12/21 | |
Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study | Chungha Sung Shuvendu Lahiri Mike Kaufman Pallavi Choudhury Chao Wang | 2020 |