Michelle Goodstein

Graduate Assistant
Computer Science Dept.
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh PA 15213

Office: Gates Center 7010
Phone: (412)268-4973

My Email

CV

a

a

a

a

I am a PhD Candidate at Carnegie Mellon University, pursuing a PhD in Computer Science. I am currently working on the Log-Based Architecture project, advised by Todd Mowry. My research focuses on building a general framework for online monitoring of parallel programs to detect bugs and security flaws, without requiring detailed inter-thread dependencies, called Butterfly Analysis. My work incorporates elements of dataflow analysis with insights from the underlying computer architecture. Before attending CMU, I graduated from the University of Washington in 2005 with double degrees in Computer Science and Mathematics.

I am currently serving as the Computer Science Department Graduate Student Ombudsperson. The best way to contact me as ombudsperson is via email.

Publications:

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]

CMU-CS-07-134
A Two Player Game to Combat Web Spam
Michelle Goodstein, Virginia Vassilevska
[ps, pdf]
Please see copyright notice .

Courses:

• Machine Learning (Fall 2005)
• Algorithms in the Real World (Fall 2005)
• Graduate Algorithms (Spring 2006)
• Introduction to Theoretical Cryptography(Spring 2006)
• Computational Complexity Theory(Fall 2006)
• Computational Molecular Biology and Genomics(Fall 2006)
• Graduate Computer Networking(Spring 2007)
• Computer Architecture(Fall 2007)
• Semantics of Programming Languages(Spring 2008)
• Program Analysis (Spring 2010, audit)
• Optimizing Compilers for Modern Architectures (Spring 2011, audit)

Teaching:

• TA for Graduate Architecture (Fall 2009)
• TA for Undergraduate Algorithms (Spring 2007)