Scholar
Jingbo Wang
Google Scholar ID: 3GuoaAcAAAAJ
Purdue University
formal method
static analysis
side-channel attack
program synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
295
H-index
9
i10-index
8
Publications
16
Co-authors
8
list available
Contact
No contact links provided.
Publications
1 items
Conflict Extraction in Probabilistic Datalog Analyses
2026
Cited
0
Resume (English only)
Co-authors
8 total
Chao Wang
University of Southern California
Chungha Sung
Amazon Web Services (AWS)
Jyotirmoy V. Deshmukh
Associate Professor, University of Southern California
John Hopcroft
Cornell University
Mukund Raghothaman
University of Southern California
Co-author 6
Aarti Gupta
Princeton University
Brandon Paulsen
Amazon Web Services
