Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Browse the full VMCAI paper archive.