Highly scalable distributed dataflow analysis. - Joseph L. Greathouse; Chelsea LeBlanc; Todd M. Austin; Valeria Bertacco (CGO, 2011)