Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring. - Michelle L. Goodstein; Evangelos Vlachos; Shimin Chen; Phillip B. Gibbons; Michael A. Kozuch; Todd C. Mowry (ASPLOS, 2010)

ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications. - Evangelos Vlachos; Michelle L. Goodstein; Michael A. Kozuch; Shimin Chen; Babak Falsafi; Phillip B. Gibbons; Todd C. Mowry (ASPLOS, 2010)

Simulating multi-million-robot ensembles. - Michael P. Ashley-Rollman; Padmanabhan Pillai; Michelle L. Goodstein (ICRA, 2011)

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 (PACT, 2012)

Tracking and Reducing Uncertainty in Dataflow Analysis-Based Dynamic Parallel Monitoring. - Michelle L. Goodstein; Phillip B. Gibbons; Michael A. Kozuch; Todd C. Mowry (PACT, 2015)