Publications

Dissertation

Dataflow Analysis-Based Dynamic Parallel Monitoring.
Michelle L. Goodstein. 
Carnegie Mellon University Technical Report: CMU-CS-14-132, August 2014. [pdf]


Peer-Reviewed Conferences

Tracking and Reducing Uncertainty in Dataflow Analysis-Based Dynamic Parallel Monitoring 
Michelle L. Goodstein, Phillip B. Gibbons, Michael A. Kozuch and Todd C. Mowry 
In International Conference on Parallel Architectures and Compilation Techniques (PACT 2015) [pdf] [slides]

Chrysalis Analysis: Incorporating Synchronization Arcs in Dataflow-Analysis-Based Parallel Monitoring
Michelle L. Goodstein, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch and Todd C. Mowry 
In International Conference on Parallel Architectures and Compilation Techniques (PACT 2012) [pdf] [slides]

Simulating Multi-Million-Robot Ensembles
Michael P. Ashley-Rollman, Padmanabhan Pillai and Michelle L. Goodstein 
In International Conference on Robotics and Automation (ICRA 2011) [pdf]

Butterfly Analysis: Adapting Dataflow Analysis to Dynamic Parallel Monitoring
Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael Kozuch and Todd C. Mowry. 
In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) [pdf] [slides]

ParaLog: Enabling and Accelerating Online Parallel Monitoring of Multithreaded Applications
Evangelos Vlachos, Michelle L. Goodstein, Michael Kozuch, Shimin Chen, Babak Falsafi, Phillip B. Gibbons and Todd C. Mowry. 
In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) [pdf]

Selected Technical Reports

A Two Player Game to Combat Web Spam
Michelle Goodstein, Virginia Vassilevska
Carnegie Mellon University Technical Report: CMU-CS-07-134, June 2007. [pdf]
Please see copyright notice