49 citations · 60 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024
An Incremental Algorithm for Algebraic Program Analysis
Chenyu Zhou, Yuzhou Fang, Jingbo Wang +1
We propose a method for conducting algebraic program analysis (APA) incrementally in response to changes of the program under analysis. APA is a program analysis paradigm that cons…
cs.LG2024★ 1 cited
FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks
Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
We propose a method for formally certifying and quantifying individual fairness of deep neural networks (DNN). Individual fairness guarantees that any two individuals who are ident…