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

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

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

Constraint Based Compiler Optimization for Energy Harvesting Applications. - Yannan Li 002; Chao Wang 001 (ECOOP, 2023)

Systematic Testing of the Data-Poisoning Robustness of KNN. - Yannan Li 002; Jingbo Wang 006; Chao Wang 001 (ISSTA, 2023)