PASIS PUBLICATIONS
CODE DISTRIBUTION
PAPERS
- Zzyzx: Scalable Fault Tolerance Through Byzantine Locking. James Hendricks, Shafeeq Sinnamohideen, Gregory R. Ganger, Michael K. Reiter. Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Chicago, Illinois, June 2010.
Abstract / PDF [231K]
- Efficient Byzantine Fault Tolerance for Scalable Storage and Services. James Hendricks. Carnegie Mellon School of Computer Science Ph.D. Dissertation CMU-CS-09-146. July 2009.
Abstract / PDF [1.1M]
- Low-overhead Byzantine Fault-tolerant Storage. James Hendricks, Gregory R. Ganger, Michael K. Reiter. Proceedings of the Twenty-First ACM Symposium on Operating Systems Principles (SOSP 2007), Stevenson, WA, October 2007.
Abstract / PDF [280K]
- Verifying Distributed Erasure-coded Data. James Hendricks, Gregory R. Ganger, Michael K. Reiter. To appear in Proceedings of the Twenty-Sixth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2007), Portland, August 2007.
Abstract / PDF [193K]
- Correctness
of the Read/Conditional-Write and Query/Update Protocols.
Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael
K. Reiter, Jay J. Wylie. Carnegie Mellon University Parallel Data
Lab Technical Report CMU-PDL-05-107, September, 2005.
Abstract / PDF [392K]
- A read/write protocol family for versatile storage infrastructures. Jay J. Wylie. Carnegie Mellon University Ph.D Dissertation. CMU-PDL-05-108, October 2005.
Abstract / Postscript [1.95M] / PDF [1.5M]
- Fault-Scalable Byzantine Fault-Tolerant Services. Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie. SOSP’05, October 23-26, 2005, Brighton, United Kingdom.
Abstract / PDF [299K]
- Lazy Verification in Fault-Tolerant Distributed Storage Systems. Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie. 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), October 26-28, 2005, Orlando, Florida.
Abstract / PDF [ 228K]
- Ursa Minor: Versatile Cluster-based Storage. Michael
Abd-El-Malek, William V. Courtright II, Chuck Cranor, Gregory R. Ganger,
James Hendricks, Andrew J. Klosterman, Michael Mesnier, Manish Prasad,
Brandon Salmon, Raja R. Sambasivan, Shafeeq Sinnamohideen, John D.
Strunk, Eno Thereska, Matthew Wachs, Jay J. Wylie. Proceedings of
the 4th USENIX Conference on File and Storage Technology (FAST '05).
San Francisco, CA. December 13-16, 2005. Supercedes Carnegie Mellon
University Parallel Data Lab Technical Report CMU-PDL-05-104, April,
2005.
Abstract / PDF [490K]
- Correctness of the Read/Conditional-Write and Query/Update Protocols. Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie. Carnegie Mellon University Parallel Data Lab Technical Report CMU-PDL-05-107, September, 2005.
Abstract / PDF [392K]
- Efficient, scalable consistency for highly fault-tolerant storage. Garth Goodson. Carnegie Mellon University Ph.D Dissertation. CMU-PDL-04-111, August 2004.
Abstract / PDF [1.5M]
- The Safety and Liveness Properties of a Protocol Family for Versatile Survivable Storage Infrastructures. Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter. Carnegie Mellon University Parallel Data Laboratory Technical Report CMU-PDL-03-105. March 2004.
Abstract / Postscript [922K] / PDF [227K]
- Efficient Byzantine-tolerant Erasure-coded Storage. Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter. Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004). Palazzo dei Congressi, Florence, Italy. June 28th - July 1, 2004. Supercedes Carnegie Mellon University Parallel Data Lab Technical Report CMU-PDL-03-104, December 2003.
Abstract / Postscript [2.3M] / PDF [253K]
- A Protocol Family Approach to Survivable Storage Infrastructures. Jay J. Wylie, Garth R. Goodson, Gregory R. Ganger, Michael K. Reiter. FuDiCo II: S.O.S. (Survivability: Obstacles and Solutions), 2nd Bertinoro Workshop on Future Directions in Distributed Computing, 23-25 June 2004, University of Bologna Residential Center, Bertinoro (Forlì), Italy.
Abstract / PDF [56K]
- Decentralized Recovery for Survivable Storage Systems. Theodore Ming-Tao Wong. Carnegie Mellon School of Computer Science Ph.D. Dissertation CMU-CS-04-119. May 2004.
Abstract / Postscript [1.6M] / PDF [715K]
- A Protocol Family for Versatile Survivable Storage Infrastructures.
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter.
Carnegie Mellon University Parallel Data Lab Technical Report CMU-PDL-03-104,
December 2003.
Abstract / Postscript [925K] / PDF [321K]
- Byzantine-tolerant Erasure-coded Storage. Garth R. Goodson,
Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter. Carnegie Mellon
University Technical Report CMU-CS-03-187, September 2003.
Abstract / Postscript [272K] / PDF [479K]
- Efficient Consistency for Erasure-coded Data via Versioning Servers.
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter.
Carnegie Mellon University Technical Report CMU-CS-03-127, April 2003.
Abstract / Postscript [290K] / pdf [160K]
- Verifiable Secret Redistribution for Archive Systems. Theodore
M. Wong, Chenxi Wang, Jeannette M. Wing. Proceedings of the First
International IEEE Security in Storage Workshop, December 2002.
Abstract / pdf [215K]
- Decentralized Storage Consistency via Versioning Servers. Garth
Goodson, Jay Wylie, Greg Ganger & Mike Reiter. Carnegie Mellon
University Technical Report CMU-CS-02-180, September 2002.
Abstract / pdf / Copyright
- On Correlated Failures in Survivable Storage Systems. Mehmet
Bakkaloglu, Jay J. Wylie, Chenxi Wang, Gregory R. Ganger. CMU SCS
Technical Report CMU-CS- 02-129. May 2002.
Abstract / pdf / Copyright
- The Set-Check-Use Methodology for Detecting Error Propagation
Failures in I/O Routines. Michael W. Bigrigg, Jacob J. Vos. To
appear in the Workshop on Dependability Benchmarking in conjunction
with The International Conference on Dependable Systems and Networks,
DSN-2002. Washington, D.C., USA. June 23rd-26th, 2002.
Abstract / pdf / Copyright
- Verifiable Secret Redistribution for Threshold Sharing Schemes. Theodore M. Wong, Chenxi Wang, Jeannette M. Wing. CMU SCS Technical
Report CMU-CS-02-114, February 2002 (revised).
Abstract / Postscript [156K] / pdf [210K]
- Testing the portability of desktop applications to a networked
embedded system. Michael W. Bigrigg, and Joseph G. Slember. Workshop
on Reliability in Embedded Systems at the 20th IEEE Symposium on Reliable
Distributed Systems, New Orleans, October 2001.
Abstract / pdf / Copyright
- Verifiable Secret Redistribution Theodore M. Wong, Jeannette
M. Wing. CMU SCS Technical Report CMU-CS-01-155, October 2001.
Abstract / Postscript [198K] / pdf [168K]
- Selecting the right data distribution scheme for a survivable
storage system. Jay J. Wylie, Mehmet Bakkaloglu, Vijay Pandurangan,
Michael W. Bigrigg, Semih Oguz, Ken Tew, Cory Williams, Gregory R.
Ganger, and Pradeep K. Khosla. Technical report CMU-CS-01-120. Carnegie
Mellon University, May 2001.
Abstract / pdf / Copyright
- Survivable Storage Systems. Gregory R. Ganger, Pradeep K.
Khosla, Mehmet Bakkaloglu, Michael W. Bigrigg, Garth R. Goodson, Semih
Oguz, Vijay Pandurangan, Craig A. N. Soules, John D. Strunk, Jay J.
Wylie. DARPA Information Survivability Conference and Exposition (Anaheim,
CA, 12-14 June 2001), pages 184-195 vol 2. IEEE, 2001.
pdf / Copyright
- Self-securing storage: Protecting data in compromised systems.
John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A.
N. Soules, and Gregory R. Ganger. Operating Systems Design and Implementation
(San Diego, CA, 23-25 October 2000), pages 165-180. USENIX Association,
2000.
Abstract / pdf / Copyright
- Survivable information storage systems. Jay J. Wylie, Michael
W. Bigrigg, John D. Strunk, Gregory R. Ganger, Han Kiliccote, and
Pradeep K. Khosla. IEEE Computer, 33(8):61-68, August 2000.
Abstract / pdf / Copyright
PRESENTATIONS
Copyright Notices
General Copyright Notice
The documents distributed by this server have been provided by the
contributing authors as a means to ensure timely dissemination of scholarly
and technical work on a noncommercial basis. Copyright and all rights
therein are maintained by the authors or by other copyright holders,
notwithstanding that they have offered their works here electronically.
It is understood that all persons copying this information will adhere
to the terms and constraints invoked by each author's copyright. These
works may not be reposted without the explicit permission of the copyright
holder.
IEEE: Survivable Information Storage Systems
Copyright © 2000 IEEE. Reprinted from IEEE Computer, 33(8):61-68,
August 2000.
This material is posted here with permission of the IEEE. Such permission
of the IEEE does not in any way imply IEEE endorsement of any of Carnegie
Mellon University's products or services. Internal or personal use of
this material is permitted. However, permission to reprint/republish
this material for advertising or promotional purposes or for creating
new collective works for resale or redistribution must be obtained from
the IEEE by sending a blank email message to pubs-permissions@ieee.org.
By choosing to view this document, you agree to all provisions of the
copyright laws protecting it.
For more info, contact