Chrysalis analysis: incorporating synchronization arcs in dataflow-analysis-based parallel monitoring

Michelle L. Goodstein, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry