Michael G. Merideth

Carnegie Mellon University
School of Computer Science
Institute for Software Research
e-mail: m...@cs.cmu.edu

General Information

I am currently working for Akamai Technologies. I completed my Ph.D. in spring 2009. My thesis research on fault-tolerant distributed systems (particularly Byzantine-fault-tolerant systems that use quorums for consistency and availability) was supervised by Professor Michael Reiter. My research interests are in the areas of distributed systems, large-scale software systems, software development, and applied security.

Publications

Ph.D. Thesis
Peer-reviewed conferences
Workshops
Technical Reports

Industrial Experience

Akamai Technologies
May 2009 - Present
Carnegie Mellon University, Pittsburgh, PA
GRADUATE STUDENT RESEARCHER, SCHOOL OF COMPUTER SCIENCE
August 2002 - May 2009
Morgan Stanley, NY, NY
IT SUMMER ANALYST, INSTITUTIONAL EQUITIES DIVISION (Internship)
Summer 2005
IBM T.J. Watson Research Center, Hawthorne, NY
DISTRIBUTED SYSTEMS INTERN, ADVANCED ENTERPRISE MIDDLEWARE (Internship)
Summer 2003
The MITRE Corporation, Bedford, MA
SENIOR INFORMATION SYSTEMS ENGINEER, INFORMATION TECHNOLOGY DIVISION
July 2001 - June 2002
Trenza Corp, Cambridge, MA
SOFTWARE ENGINEER
June 2000 - May 2001
Answerfriend.com (now InQuira), Boston, MA
SOFTWARE ENGINEER/TECHNICAL CONSULTANT
March 2000 - May 2000
ThoughtWorks LLC, San Bruno, CA
SOFTWARE DEVELOPER/CONSULTANT
August 1999 - March 2000
Cakewalk Music Software, Cambridge, MA
SOFTWARE DEVELOPMENT INTERN (Internship)
Summer 1998
Bowdoin College, Brunswick, ME
STUDENT SYSTEMS MANAGER (Internship)
Fall 1996 - Fall 1998

Talks Outside CMU

  • Write Markers for Probabilistic Quorum Systems. International Conference on Principles of Distributed Systems (OPODIS). Luxor, Egypt. December 2008.
  • Byzantine-Tolerant Scalability via Probabilistic Quorum Systems. Large-Scale Distributed Systems and Middleware (LADIS). Yorktown, NY. September 2008.
  • Write Markers for Probabilistic Quorum Systems. Team for Research in Ubiquitous Secure Technology (TRUST) Spring Conference. Berkeley, CA. April 2008.
  • Probabilistic Opaque Quorum Systems. International Symposium on Distributed Computing (DISC). Lemesos, Cyprus. September 2007.
  • Probabilistic Opaque Quorum Systems. University of North Carolina Systems Tea. Chapel Hill, NC. September 2007.
  • WRAPS: Denial-of-Service Defense through Web Referrals. IEEE Symposium on Reliable Distributed Systems (SRDS). Leeds, England. October 2006.
  • Thema: Byzantine-Fault-Tolerant Middleware for Web-Service Applications. IEEE Symposium on Reliable Distributed Systems (SRDS). Orlando, Fl. October 2005.
  • Retrofitting Networked Applications to Add Autonomic Reconfiguration. Workshop on the Design and Evolution of Autonomic Application Software (DEAS). Saint Louis, MO. May 2005.
  • Elephant: Network Intrusion Detection Systems that Don't Forget. Hawaii International Conference on System Sciences (HICSS). Big Island, HI. January 2005.
  • Secure, Reliable Web Services. IBM Research Exit Talk. Hawthorne, NY. July 2003.
  • Proactive Containment of Malice in Survivable Distributed Systems. International Conference on Security and Management (SAM). Las Vegas, NV. June 2003.
  • Metrics for the Evaluation of Proactive and Reactive Survivability. IEEE International Conference on Distributed Systems and Networks (DSN) Fast Abstracts. San Francisco, CA. June 2003.
  • Enhancing Survivability with Proactive Fault-Containment. IEEE International Conference on Distributed Systems and Networks (DSN) Student Forum. San Francisco, CA. June 2003.

Teaching

Graduate level
  • TA for 18-730 Introduction to Computer Security - Professor M. Reiter. Carnegie Mellon University. Fall 2006.
  • TA for 18-845 Internet Services - Professor D. O'Hallaron. Carnegie Mellon University. Spring 2006.
  • TA for 17-654/18-846 Analysis of Software Artifacts/Dependable Distributed Middleware Systems - Professor P. Narasimhan. Carnegie Mellon University. Spring 2004.
Undergraduate level
  • TA for CS-101 Introductory Computer Science - Professor A. Tucker. Bowdoin College. Fall 1998, Spring 1999.
  • Quantitative Skills Tutor. Bowdoin College. Fall 1998.