Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cheng-Chao Huang
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ICSE 2025 profile
Not registered as user
Name:
Cheng-Chao Huang
Affiliation:
Nanjing Institute of Software Technology, ISCAS
Contributions
2026
APLAS
Author of Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees within the ATVA Research Papers-track
2025
ICSE
Author of Patch Synthesis for Property Repair of Deep Neural Networks within the Research Track-track
Share
x
Fri 9 Oct 03:57