Jingbo Wang

SAL 339, 941 Bloom Walk
Los Angeles, CA90089, USA
Los Angeles, CA90089, USA
Jingbo Wang is a 4th-year Ph.D. student of CS Dept at the University of Southern California, advised by Prof.Chao Wang since 2017 fall. Her research interests include static analysis, side-channel security and program synthesis. She is working on detecting and mitigating side-channel vulnerabilities in cryptography programs. In her recent work, she strives to automate the development of static analyzer to detect side-channel vulnerabilities. Prior to USC, she has worked with Prof.John Hopcroft and Prof.Hakim Weatherspoon in Cornell University. She received the B.E. degree in computer science from Huazhong University of Science and Technology in 2017, advised by Prof. Kun He.
Contact: jingbow@usc.edu
Publications
ICSE 2021 |
Data-Driven Synthesis of Provably Sound Side Channel Analyses Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang 43rd International Conference on Software Engineering (ICSE 21), Virtual [PDF(coming)] [Artifact(coming)] [Slides(coming)] |
ASE 2020 |
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 20), Virtual (AR: 93/414 = 22.5%) [PDF] [DOI] [Slides] |
ICSE 2020 |
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen, Jingbo Wang, Chao Wang 42nd International Conference on Software Engineering (ICSE 20), Virtual (AR: 129/617 = 20.9%) [PDF] [DOI] [Slides] [Artifact] |
FMCAD 2019 |
Shield Synthesis for Real: Enforcing Safety in Cyber-physical Systems Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang 19th International Conference on Formal Methods in Computer-Aided Design (FMCAD 19), San Jose, USA [PDF] [DOI] [Slides] |
ESEC/FSE 2019 |
Mitigating Power Side Channels during Compilation Jingbo Wang, Chungha Sung, Chao Wang 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 19), Tallinn, Estonia (AR: 74/303 = 24%) [PDF] [DOI] [Slides] |
Preprint
Arxiv 2018 |
Randomness in Deconvolutional Networks for Visual Representation Kun He*, Jingbo Wang*, Haochuan Li, Yao Shu, Mengxiao Zhang, Man Zhu, Liwei Wang, John E. Hopcroft (* Equal Contribution) [PDF] |
P4 Workshop |
Uniform Timestamping in P4 Hakim Weatherspoon, Dhruv Singhal, Jingbo Wang [PDF] |
Activities
Journal Reviewing
-
2019:
IEEE Design & Test
Subreviewer/External Reviewer
Awards and Honours
- HLF, selected to participate in 7th Heidelberg Laureate Forum 2019, Heidelberg, Germany
- CRA-W, selected to participate in CRA-W Grad Cohort for Women Workshop 2019, Chicago, USA
- VMW Scholarship, International Conference on Computer-Aided Verification (CAV’19), New York, USA
- PLMW Scholarship, Programming Language Design and Implementation Conference (PLDI’19), Phoenix, USA
- Finalist, Undergraduate Student Clustering Competition (SCC) of Super-Computing Conference 2016, Salt Lake City, USA
- Highest LINPACK award, ISC-HPCAC Student Cluster Competition 2016, Frankfurt, Germany
- Champion, Asia Student Super Computer Challenge 2016, Wuhan, China
Teaching
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence (TA)
Fall 2018
- CSCI 310 Introduction to Software Engineering (TA)
- 2019: IEEE Design & Test
Subreviewer/External Reviewer
Awards and Honours
- HLF, selected to participate in 7th Heidelberg Laureate Forum 2019, Heidelberg, Germany
- CRA-W, selected to participate in CRA-W Grad Cohort for Women Workshop 2019, Chicago, USA
- VMW Scholarship, International Conference on Computer-Aided Verification (CAV’19), New York, USA
- PLMW Scholarship, Programming Language Design and Implementation Conference (PLDI’19), Phoenix, USA
- Finalist, Undergraduate Student Clustering Competition (SCC) of Super-Computing Conference 2016, Salt Lake City, USA
- Highest LINPACK award, ISC-HPCAC Student Cluster Competition 2016, Frankfurt, Germany
- Champion, Asia Student Super Computer Challenge 2016, Wuhan, China
Teaching
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence (TA)
Fall 2018
- CSCI 310 Introduction to Software Engineering (TA)
Awards and Honours
- HLF, selected to participate in 7th Heidelberg Laureate Forum 2019, Heidelberg, Germany
- CRA-W, selected to participate in CRA-W Grad Cohort for Women Workshop 2019, Chicago, USA
- VMW Scholarship, International Conference on Computer-Aided Verification (CAV’19), New York, USA
- PLMW Scholarship, Programming Language Design and Implementation Conference (PLDI’19), Phoenix, USA
- Finalist, Undergraduate Student Clustering Competition (SCC) of Super-Computing Conference 2016, Salt Lake City, USA
- Highest LINPACK award, ISC-HPCAC Student Cluster Competition 2016, Frankfurt, Germany
- Champion, Asia Student Super Computer Challenge 2016, Wuhan, China
Teaching
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence (TA)
Fall 2018
- CSCI 310 Introduction to Software Engineering (TA)