Jingbo Wang

According to our database, Jingbo Wang authored at least 17 papers between 2019 and 2026.

Collaborative distances:

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

2026

Towards Performance Robustness for Microservices.

Divyanshu Saxena, Gaurav Vipat, Jiaxin Lin, Jingbo Wang, Isil Dillig, Sanjay Shakkottai, Aditya Akella

Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

2025

Efficient Symbolic Execution of Software under Fault Attacks.

Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang

CoRR, March, 2025

An Incremental Algorithm for Algebraic Program Analysis.

Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang

Proc. ACM Program. Lang., 2025

Probabilistic Inference for Datalog with Correlated Inputs.

Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig

Proc. ACM Program. Lang., 2025

Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks.

Brian Hyeongseok Kim, Jingbo Wang, Chao Wang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

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