Field-sensitive program dependence analysis. - Litvak, Shay; Dor, Nurit; Bodík, Rastislav; Rinetzky, Noam; Sagiv, Mooly (2010)