Static Identification of Delinquent Loads. - Vlad-Mihai Panait; Amit Sasturkar; Weng-Fai Wong (CGO, 2004)