Dr. Michael G. Meredith (CS 2009)

Bio

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

Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. International Conference On Principles Of Distributed Systems (OPODIS). Luxor, Egypt. December, 2008.

Michael G. Merideth and Michael K. Reiter. Probabilistic Opaque Quorum Systems. International Symposium on Distributed Computing (DISC). Lemosos, Cyprus. September, 2007. link: http://www.cs.unc.edu/~reiter/papers/2007/DISC.pdf

Michael G. Merideth, A. Iyengar, T. Mikalsen, S. Tai, I. Rouvellou, P. Narasimhan, Thema: Byzantine-Fault-Tolerant Middleware for Web-Service Applications. The 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005). Orlando, FL. October 2005.

Michael G. Merideth and Priya Narasimhan, Retrofitting Networked Applications to Add Autonomic Reconfiguration. Workshop on the Design and Evolution of Autonomic Application Software (DEAS'05) at the ACM/IEEE 27th International Conference on Software Engineering (ICSE'05). St Louis, MO. May 2005.

Michael G. Merideth and Priya Narasimhan, Elephant: Network Intrusion Detection Systems that Don't Forget.January 2005.

Michael G. Merideth and Priya Narasimhan, Proactive Containment of Malice in Survivable Distributed Systems. International Conference on Security and Management, Las Vegas, NV, June 2003.

Michael G. Merideth, Enhancing Survivability with Proactive Fault-Containment. Student Forum, IEEE Conference on Dependable Systems and Networks, San Francisco, CA, June 2003.

Michael G. Merideth and Priya Narasimhan, Metrics for the Evaluation of Proactive and Reactive Survivability. Fast Abstracts Session, IEEE Conference on Dependable Systems and Networks, San Francisco, CA, June 2003.

Technical reports

Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. CMU-ISRI-07-118R. Supersedes CMU-ISRI-07-118. Also appears as CMU-CS-07-165R. November, 2008

Michael G. Merideth. Tradeoffs in Byzantine-Fault-Tolerant State-Machine-Replication Protocol Design. Technical Report CMU-ISR-08-110. March, 2008.

Michael G. Merideth and Michael K. Reiter. Write Markers for Probabilistic Quorum Systems. CMU-ISRI-07-118. Superseded by CMU-ISRI-07-118R. Also appears as CMU-CS-07-165. November, 2007.

Michael G. Merideth and Michael K. Reiter. Probabilistic Opaque Quorum Systems. CMU-ISRI-07-117. Also appears as CMU-CS-07-117. March, 2007.