1 paper
Junda Zheng, Peisen Yao
Abstract interpretation offers a principled foundation for static analysis by approximating concrete program semantics via abstract domains. However, quantitatively comparing the p…