Yannan Li

According to our database, Yannan Li authored at least 5 papers between 2022 and 2023.

Collaborative distances:

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

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

Constraint Based Compiler Optimization for Energy Harvesting Applications.

Yannan Li, Chao Wang

Proceedings of the 37th European Conference on Object-Oriented Programming, 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

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