Jingbo Wang

Orcid: 0000-0001-5877-2677

Affiliations:
  • University of Southern California, CA, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Synthesizing MILP Constraints for Efficient and Robust Optimization.
Proc. ACM Program. Lang., 2023

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

Systematic Testing of the Data-Poisoning Robustness of KNN.
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.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Learning to Synthesize Relational Invariants.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Proving Robustness of KNN Against Adversarial Data Poisoning.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Synthesizing Fair Decision Trees via Iterative Constraint Solving.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

ReluDiff: differential verification of deep neural networks.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Mitigating power side channels during compilation.
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.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019


  Loading...