Jingbo Wang

According to our database, Jingbo Wang authored at least 12 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Synthesizing MILP Constraints for Efficient and Robust Optimization.

Jingbo Wang, Aarti Gupta, Chao Wang

Proc. ACM Program. Lang., 2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.

Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Systematic Testing of the Data-Poisoning Robustness of KNN.

Yannan Li, Jingbo Wang, Chao Wang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Certifying the Fairness of KNN in the Presence of Dataset Bias.

Yannan Li, Jingbo Wang, Chao Wang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Learning to Synthesize Relational Invariants.

Jingbo Wang, Chao Wang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Proving Robustness of KNN Against Adversarial Data Poisoning.

Yannan Li, Jingbo Wang, Chao Wang

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Synthesizing Fair Decision Trees via Iterative Constraint Solving.

Jingbo Wang, Yannan Li, Chao Wang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Data-Driven Synthesis of Provably Sound Side Channel Analyses.

Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.

Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

ReluDiff: differential verification of deep neural networks.

Brandon Paulsen, Jingbo Wang, Chao Wang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Mitigating power side channels during compilation.

Jingbo Wang, Chungha Sung, Chao Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.

Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019