Andrew W. Appel: VeriSmall: Verified Smallfoot Shape Analysis. CPP 2011: 231-246