Bolei Guo Matthew J. Bridges Spyridon Triantafyllis Guilherme Ottoni Easwaran Raman David I. August Practical and Accurate Low-Level Pointer Analysis. 291-302 2005 conf/cgo/2005 CGO http://doi.ieeecomputersociety.org/10.1109/CGO.2005.27 db/conf/cgo/cgo2005.html#GuoBTORA05