Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. - Meng Wu 001; Jingbo Wang 006; Jyotirmoy Deshmukh; Chao Wang 001 (FMCAD, 2019)

Mitigating power side channels during compilation. - Jingbo Wang 006; Chungha Sung; Chao Wang 001 (ESEC/SIGSOFT FSE, 2019)

ReluDiff: differential verification of deep neural networks. - Brandon Paulsen; Jingbo Wang 006; Chao Wang 001 (ICSE, 2020)

NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. - Brandon Paulsen; Jingbo Wang 006; Jiawei Wang; Chao Wang 001 (ASE, 2020)

Data-Driven Synthesis of Provably Sound Side Channel Analyses. - Jingbo Wang 006; Chungha Sung; Mukund Raghothaman; Chao Wang 001 (ICSE, 2021)

Synthesizing Fair Decision Trees via Iterative Constraint Solving. - Jingbo Wang 006; Yannan Li; Chao Wang 001 (CAV (2), 2022)

Proving Robustness of KNN Against Adversarial Data Poisoning. - Yannan Li; Jingbo Wang 006; Chao Wang 001 (FMCAD, 2022)

Learning to Synthesize Relational Invariants. - Jingbo Wang 006; Chao Wang 001 (ASE, 2022)

Certifying the Fairness of KNN in the Presence of Dataset Bias. - Yannan Li; Jingbo Wang 006; Chao Wang 001 (CAV (2), 2023)

Systematic Testing of the Data-Poisoning Robustness of KNN. - Yannan Li; Jingbo Wang 006; Chao Wang 001 (ISSTA, 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 006 (ESEC/SIGSOFT FSE, 2023)

Synthesizing MILP Constraints for Efficient and Robust Optimization. - Jingbo Wang 006; Aarti Gupta; Chao Wang 001 (Proc. ACM Program. Lang., 2023)

An Incremental Algorithm for Algebraic Program Analysis. - Chenyu Zhou; Yuzhou Fang; Jingbo Wang 006; Chao Wang 001 (Proc. ACM Program. Lang., 2025)

Efficient Symbolic Execution of Software under Fault Attacks. - Yuzhou Fang; Chenyu Zhou; Jingbo Wang 006; Chao Wang 001 (CoRR, 2025)