Jingbo Wang
SAL 339, 941 Bloom Walk
Los Angeles, CA 90089, USA
Los Angeles, CA 90089, USA
Jingbo Wang is a Ph.D. candidate in the Department of Computer Science at the University of Southern California, working with Prof. Chao Wang. Her research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, and fairness of software systems. Prior to joining USC, she worked with Prof. John Hopcroft at Cornell University and Prof. Kun He at Huazhong University of Science and Technology. She received the USC WiSE Merit award and has been invited to the MIT EECS Rising Star Workshop.
Contact: jingbow@usc.edu
[Update 2023] I am on the job market for a faculty position.
Publications
PLDI 2023 |
Synthesizing MILP Constraints for Efficient and Robust Optimization Jingbo Wang, Aarti Gupta, Chao Wang 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 23), Orlando, Florida (conditionally accepted) [To Come] |
CAV 2022 |
Synthesizing Fair Decision Trees via Iterative Constraint Solving Jingbo Wang, Yannan Li, Chao Wang 34th International Conference on Computer Aided Verification (CAV 22), Haifa, Israel [PDF] [DOI] [Talk] [Artifact] |
ASE 2022 |
Learning to Synthesize Relational Invariants Jingbo Wang, Chao Wang 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 22), Ann Arbor, USA [PDF] [DOI] |
FMCAD 2022 |
Proving Robustness of KNNs Against Adversarial Data Poisoning Yannan Li, Jingbo Wang, Chao Wang 22th International Conference on Formal Methods in Computer-Aided Design (FMCAD 22), Trento, Italy [PDF] [DOI] [Slides] |
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] [DOI] [Talk1] [Talk2 (Simons Institute)] [Slides] [Artifact] |
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] [Talk] [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] [Artifact] |
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
Awards and Recognition
- MIT EECS Rising Star, MIT, 2021
- WiSE Merit Award, USC, 2021
- 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
Mentoring
- Mentor. PLMW'2021 @ PLDI'21
- Mentor. USC Viterbi Graduate Mentorship Program
- Mentor. Young Researchers Program
Committee
- VMCAI 2023 Artifact Evaluation Chair
- TACAS 2023 Artifact Evaluation
- Fuzzing 2022 Artifact Evaluation
- SPLASH 2022 Student Research Competition
- PLDI 2022 Artifact Evaluation
- OSDI 2022 Artifact Evaluation
- ISSTA 2021 Artifact Evaluation
Reviewer
-
2022:
IEEE TSE 2022,
SPLASH 2022 SRC,
PLDI 2022 AEC,
OSDI 2022 AEC
-
2021:
ISSTA 2021 AEC
-
2019:
IEEE Design & Test
Subreviewer/External Reviewer
Teaching Assistants
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence
Fall 2018
- CSCI 310 Introduction to Software Engineering
- Mentor. PLMW'2021 @ PLDI'21
- Mentor. USC Viterbi Graduate Mentorship Program
- Mentor. Young Researchers Program
Committee
- VMCAI 2023 Artifact Evaluation Chair
- TACAS 2023 Artifact Evaluation
- Fuzzing 2022 Artifact Evaluation
- SPLASH 2022 Student Research Competition
- PLDI 2022 Artifact Evaluation
- OSDI 2022 Artifact Evaluation
- ISSTA 2021 Artifact Evaluation
Reviewer
-
2022:
IEEE TSE 2022,
SPLASH 2022 SRC,
PLDI 2022 AEC,
OSDI 2022 AEC
-
2021:
ISSTA 2021 AEC
-
2019:
IEEE Design & Test
Subreviewer/External Reviewer
Teaching Assistants
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence
Fall 2018
- CSCI 310 Introduction to Software Engineering
- VMCAI 2023 Artifact Evaluation Chair
- TACAS 2023 Artifact Evaluation
- Fuzzing 2022 Artifact Evaluation
- SPLASH 2022 Student Research Competition
- PLDI 2022 Artifact Evaluation
- OSDI 2022 Artifact Evaluation
- ISSTA 2021 Artifact Evaluation
Reviewer
-
2022:
IEEE TSE 2022,
SPLASH 2022 SRC,
PLDI 2022 AEC,
OSDI 2022 AEC
-
2021:
ISSTA 2021 AEC
-
2019:
IEEE Design & Test
Subreviewer/External Reviewer
Teaching Assistants
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence
Fall 2018
- CSCI 310 Introduction to Software Engineering
- 2022: IEEE TSE 2022, SPLASH 2022 SRC, PLDI 2022 AEC, OSDI 2022 AEC
- 2021: ISSTA 2021 AEC
- 2019: IEEE Design & Test
Subreviewer/External Reviewer
Teaching Assistants
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence
Fall 2018
- CSCI 310 Introduction to Software Engineering
Teaching Assistants
Spring 2020
- CSCI 360 Introduction to Artificial Intelligence
Fall 2018
- CSCI 310 Introduction to Software Engineering