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]