10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009). Savannah, Georgia, Usa. eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007). Nice, France. forty four. Matthew Might. "Shape analysis in the absence of tips and framework." eleventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010).