Rupesh Nasre Ramaswamy Govindarajan Prioritizing constraint evaluation for efficient points-to analysis. 267-276 2011 CGO https://doi.org/10.1109/CGO.2011.5764694 https://doi.ieeecomputersociety.org/10.1109/CGO.2011.5764694 http://dl.acm.org/citation.cfm?id=2190073 conf/cgo/2011 db/conf/cgo/cgo2011.html#NasreG11