Guanhua He: Program analysis in a combined abstract domain. Durham University, UK 2011