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
Publications
1 items
Conflict Extraction in Probabilistic Datalog Analyses
2026
Cited
0
Co-authors
7 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
Aarti Gupta
Princeton University
Brandon Paulsen
Amazon Web Services
