Chao Wang
Scholar

Chao Wang

Google Scholar ID: 1w7O-4QAAAAJ
University of Southern California
Formal VerificationProgram RepairConcurrencySide ChannelAI Safety
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,101
 
H-index
28
 
i10-index
58
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
1 items
Analyzing Fairness of Neural Network Prediction via Counterfactual Dataset Generation
2026
Cited
0
Resume (English only)
Academic Achievements
  • Recent talks include:
  • Differential Verification of Deep Neural Networks (CMU AI Seminar, 2023)
  • Data-Driven Synthesis of a Provably Sound Side-Channel Analysis (Simons Institute, 2021)
  • Adversarial Symbolic Execution for Detecting Timing Side-Channel Leaks (Keynote at KLEE Workshop, 2021)
  • Synthesizing Runtime Enforcers for Cyber Physical Systems (UC Irvine SE Symposium, 2020)
Co-authors
0 total
Co-authors: 0 (list not available)