Research Papers

All of these links should work if you are on the DU campus. If for some reason they do not, please go to the Penrose Library web pages and locate the resources. Not being able to download the paper to write a review is not an acceptable excuse! Let me know if the link doesn't work and get the correct one for me. Note that if you are off campus, you might be able to use the VPN into DU to get the paper.

Event Ordering

• L. Lamport, ' Time, Clocks, and the Ordering of Events in a Distributed System,' Communications of the ACM, 1978.

Consistency

• L. Lamport, 'How to Make a Multiprocessor That Correctly Executes Multiprocess Programs,' IEEE Trans. Computers, September 1979.
• M. Castro, R. Rodrigues, B. Liskov, 'Base: Using Abstraction to Improve Fault Tolerance,' ACM Transactions on Computer Systems, August 2003

Byzantine Agreement

• M. Pease, R. Shostak, and L. Lamport, 'Reaching Agreement in the Presence of Faults,' Journal of the ACM, Vol. 27, No. 2, April 1980.
• L. Lamport, R. Shostak, and M. Pease, 'The Byzantine Generals Problem,' ACM Transactions on Programming Languages and Systems, Vol 4, No. 3, July 1982.
• M. Fischer, N. Lynch, and M. Paterson, 'Impossibility of Distributed Consensus with One Faulty Process,' Journal of the ACM, Vol 32, No. 2, April 1985.
• L. Lamport, 'The Part-Time Parliament,' ACM Transactions on Computer Systems, Vol 16, No. 2, May 1998
• M. Castro, B. Liskov, 'Practical Byzantine Fault Tolerance and Proactive Recovery,' ACM Transactions on Computer Systems, Nov. 2002
• J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi and M. Dahlin, 'Separating Agreement from Execution for Byzantine Fault Tolerant Services,' ACM Symposium on Operating System Principles, 2003
• Butler W. Lampson, 'How to Build a Highly Available System Using Consensus,' 10th International Workshop on Distributed Algorithms, 1996
• T. Chandra, R. Griesemer and J. Redstone, 'Paxos Made Live: An Engineering Perspective,' ACM Symposium on Principles of Distributed Computing, 2007
• M. Abd-El-Malek, G. Ganger, G. Goodson, M. Reiter, J. Wylie, 'Fault-Scalable Byzantine Fault-Tolerant Services,' ACM Symposium on Operating System Principles 2005.
• R. Kotla and M. Dahlin, 'High Throughput Byzantine Fault Tolerance,' Proceedings of the IEEE International Conference and Dependable Systems and Networks (DSN'04).
• J.-P. Martin and L. Alvisi, 'Fast Byzantine Consensus,' IEEE Transactions on Dependable and Secure Computing, Vol. 3, No. 3, July-Sept 2006
• H. C. Li, A. Clement, A. Aiyer, and L. Alvisi, 'The Paxos Register,' IEEE Symposium on Reliable Distributed SYstems, October 2007