Static identification of delinquent loads - Panait, V.-M. (2013)
10.1109/CGO.2004.1281683