"Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring."

Michelle L. Goodstein et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics