Personal information

No personal information available

Activities

Employment (1)

University of Southern California: Los Angeles, California, US

Employment
Source: Self-asserted source
Jingbo Wang

Works (13)

An Incremental Algorithm for Algebraic Program Analysis

Proceedings of the ACM on Programming Languages
2025-01-07 | Journal article
Contributors: Chenyu Zhou; Yuzhou Fang; Jingbo Wang; Chao Wang
Source: check_circle
Crossref

Certifying the Fairness of KNN in the Presence of Dataset Bias

Computer Aided Verification
2023 | Conference paper
Part of ISBN: 9783031377020
Part of ISBN: 9783031377037
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Yannan Li; Jingbo Wang; Chao Wang
Source: Self-asserted source
Jingbo Wang

Compositional Taint Analysis for Enforcing Security Policies at Scale

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2023-11-30 | Conference paper
Contributors: Subarno Banerjee; Siwei Cui; Michael Emmi; Antonio Filieri; Liana Hadarean; Peixuan Li; Linghui Luo; Goran Piskachev; Nicolás Rosner; Aritra Sengupta et al.
Source: Self-asserted source
Jingbo Wang

Systematic Testing of the Data-Poisoning Robustness of KNN

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
2023-07-12 | Conference paper
Contributors: Yannan Li; Jingbo Wang; Chao Wang
Source: Self-asserted source
Jingbo Wang

Synthesizing MILP Constraints for Efficient and Robust Optimization

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Jingbo Wang; Aarti Gupta; Chao Wang
Source: check_circle
Crossref

Proving Robustness of KNN Against Adversarial Data Poisoning.

FMCAD
2022 | Conference paper
Contributors: Li, Y; Wang, J; Wang, C
Source: Self-asserted source
Jingbo Wang

Synthesizing Fair Decision Trees via Iterative Constraint Solving

Computer Aided Verification
2022 | Conference paper
Part of ISBN: 9783031131875
Part of ISBN: 9783031131882
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Jingbo Wang; Yannan Li; Chao Wang
Source: Self-asserted source
Jingbo Wang

Learning to Synthesize Relational Invariants

2022-10-10 | Conference paper
Contributors: Jingbo Wang; Chao Wang
Source: check_circle
Crossref

Data-driven synthesis of provably sound side channel analyses

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021 | Conference paper
Contributors: Wang, J; Sung, C; Raghothaman, M; Wang, C
Source: Self-asserted source
Jingbo Wang

NEURODIFF: scalable differential verification of neural networks using fine-grained approximation

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
2020 | Conference paper
Contributors: Paulsen, B; Wang, J; Wang, J; Wang, C
Source: Self-asserted source
Jingbo Wang

ReluDiff

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
2020-06-27 | Conference paper
Contributors: Brandon Paulsen; Jingbo Wang; Chao Wang
Source: Self-asserted source
Jingbo Wang

Shield synthesis for real: Enforcing safety in cyber-physical systems

2019 Formal Methods in Computer Aided Design (FMCAD)
2019 | Conference paper
Contributors: Wu, M; Wang, J; Deshmukh, J; Wang, C
Source: Self-asserted source
Jingbo Wang

Mitigating power side channels during compilation

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2019-08-12 | Conference paper
Contributors: Jingbo Wang; Chungha Sung; Chao Wang
Source: Self-asserted source
Jingbo Wang