paxos.bib

@ARTICLE{part-time-parliament,
  author = {Leslie Lamport},
  title = {The part-time parliament},
  journal = {ACM TRANSACTIONS ON COMPUTER SYSTEMS},
  year = {1998},
  volume = {16},
  number = {2},
  pages = {133--169}
}

@MISC{cheap-paxos,
  author = {Leslie Lamport and Mike Massa},
  title = {Cheap Paxos},
  year = {2004}
}

@Inbook{crdts,
  author="Shapiro, Marc
    and Pregui{\c{c}}a, Nuno
    and Baquero, Carlos
    and Zawirski, Marek",
  editor="D{\'e}fago, Xavier
    and Petit, Franck
    and Villain, Vincent",
  chapter="Conflict-Free Replicated Data Types",
  title="Stabilization, Safety, and Security of Distributed Systems: 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings",
  year="2011",
  publisher="Springer Berlin Heidelberg",
  address="Berlin, Heidelberg",
  pages="386--400",
  isbn="978-3-642-24550-3"
}
@Inproceedings {smart,
address      = {Leuven, Belgium},
author       = {Jacob R. Lorch and Atul Adya and William J. Bolosky and Ronnie Chaiken and John
                R. Douceur and Jon Howell},
booktitle    = {Proceedings of the 2006 EuroSys Conference},
month        = {April},
pages        = {103–115},
publisher    = {Association for Computing Machinery, Inc.},
title        = {The SMART way to migrate replicated stateful services},
year         = {2006},
}
@TechReport {reconfiguring-a-state-machine,
author       = {Leslie Lamport and Dahlia Malkhi and Lidong Zhou},
month        = {February},
number       = {MSR-TR-2008-198},
publisher    = {Microsoft},
title        = {Reconfiguring a State Machine},
year         = {2008},
institution  = {Microsoft Research},
}
@Inbook{async-reconfig,
author="Jehl, Leander
and Meling, Hein",
editor="Chatterjee, Mainak
and Cao, Jian-nong
and Kothapalli, Kishore
and Rajsbaum, Sergio",
chapter="Asynchronous Reconfiguration for Paxos State Machines",
title="Distributed Computing and Networking: 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings",
year="2014",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="119--133",
isbn="978-3-642-45249-9",
doi="10.1007/978-3-642-45249-9_8",
}
@inproceedings{egalitarian-paxos,
 author = {Moraru, Iulian and Andersen, David G. and Kaminsky, Michael},
 title = {There is More Consensus in Egalitarian Parliaments},
 booktitle = {Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles},
 series = {SOSP '13},
 year = {2013},
 isbn = {978-1-4503-2388-8},
 location = {Farminton, Pennsylvania},
 pages = {358--372},
 numpages = {15},
 doi = {10.1145/2517349.2517350},
 acmid = {2517350},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@article{paxos-made-simple,
title={{Paxos made simple}},
author={Lamport, L.},
journal={ACM SIGACT News},
volume={32},
number={4},
pages={18--25},
year={2001}, 
}
@inproceedings{raft,
 author = {Ongaro, Diego and Ousterhout, John},
 title = {In Search of an Understandable Consensus Algorithm},
 booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference},
 series = {USENIX ATC'14},
 year = {2014},
 isbn = {978-1-931971-10-2},
 location = {Philadelphia, PA},
 pages = {305--320},
 numpages = {16},
 acmid = {2643666},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
} 
@TechReport {stoppable-paxos,
author       = {Leslie Lamport and Dahlia Malkhi and Lidong Zhou},
month        = {April},
number       = {MSR-TR-2008-197},
publisher    = {Microsoft},
title        = {Stoppable Paxos},
year         = {2008},
institution  = {Microsoft Research},
}

@inproceedings{vertical-paxos,
 author = {Lamport, Leslie and Malkhi, Dahlia and Zhou, Lidong},
 title = {Vertical Paxos and Primary-backup Replication},
 booktitle = {Proceedings of the 28th ACM Symposium on Principles of Distributed Computing},
 series = {PODC '09},
 year = {2009},
 isbn = {978-1-60558-396-9},
 location = {Calgary, AB, Canada},
 pages = {312--313},
 numpages = {2},
 doi = {10.1145/1582716.1582783},
 acmid = {1582783},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {replication},
} 
@article{flp-impossibility,
 author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
 title = {Impossibility of Distributed Consensus with One Faulty Process},
 journal = {J. ACM},
 issue_date = {April 1985},
 volume = {32},
 number = {2},
 month = apr,
 year = {1985},
 issn = {0004-5411},
 pages = {374--382},
 numpages = {9},
 doi = {10.1145/3149.214121},
 acmid = {214121},
 publisher = {ACM},
 address = {New York, NY, USA},
} 


@Inproceedings {omega-meets-paxos,
address      = {Cracow, Poland},
author       = {Dahlia Malkhi and Florin Oprea and Lidong Zhou},
booktitle    = {19th Intl. Symposium on Distributed Computing (DISC 05)},
institution  = {Microsoft Research},
month        = {September},
number       = {MSR-TR-2005-93},
pages        = {25},
publisher    = {European Association for Theoretical Computer Science},
title        = {Omega Meets Paxos: Leader Election and Stability without Eventual Timely Links},
year         = {2005},
}

@inproceedings {zab-reconf,
  author = {Alexander Shraer and Benjamin Reed and Dahlia Malkhi and Flavio P. Junqueira},
  title = {Dynamic Reconfiguration of Primary/Backup Clusters},
  booktitle = {Presented as part of the 2012 USENIX Annual Technical Conference (USENIX ATC 12)},
  year = {2012},
  isbn = {978-931971-93-5},
  address = {Boston, MA},
  pages = {425--437},
  publisher = {USENIX},
}

@inproceedings{zab,
 author = {Reed, Benjamin and Junqueira, Flavio P.},
 title = {A Simple Totally Ordered Broadcast Protocol},
 booktitle = {Proceedings of the 2Nd Workshop on Large-Scale Distributed Systems and Middleware},
 series = {LADIS '08},
 year = {2008},
 isbn = {978-1-60558-296-2},
 location = {Yorktown Heights, New York, USA},
 pages = {2:1--2:6},
 articleno = {2},
 numpages = {6},
 doi = {10.1145/1529974.1529978},
 acmid = {1529978},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@techreport{viewstamped-replication,
   author = {Barbara Liskov and James Cowling},
   title = {Viewstamped Replication Revisited},
   institution = {MIT},
   number = {MIT-CSAIL-TR-2012-021},
   month = jul,
   year = {2012}
}
@inproceedings{paxos-made-live,
 author = {Chandra, Tushar D. and Griesemer, Robert and Redstone, Joshua},
 title = {Paxos Made Live: An Engineering Perspective},
 booktitle = {Proceedings of the Twenty-sixth Annual ACM Symposium on Principles of Distributed Computing},
 series = {PODC '07},
 year = {2007},
 isbn = {978-1-59593-616-5},
 location = {Portland, Oregon, USA},
 pages = {398--407},
 numpages = {10},
 doi = {10.1145/1281100.1281103},
 acmid = {1281103},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Paxos, experiences, fault-tolerance, implementation},
}

@book{isabelle-hol,
  author = {Nipkow, Tobias and Wenzel, Markus and Paulson, Lawrence C.},
  title = {Isabelle/HOL: A Proof Assistant for Higher-order Logic},
  year = {2002},
  isbn = {3-540-43376-7},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
}

@inproceedings{lampson,
 author = {Lampson, Butler W.},
 title = {How to Build a Highly Available System Using Consensus},
 booktitle = {Proceedings of the 10th International Workshop on Distributed Algorithms},
 series = {WDAG '96},
 year = {1996},
 isbn = {3-540-61769-8},
 pages = {1--17},
 numpages = {17},
 acmid = {675640},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
} 


@TECHREPORT{virt-synch,
    author = {Ken Birman and Dahlia Malkhi and Robbert van Renesse},
    title = {Virtually Synchronous Methodology for Dynamic Service Replication},
    institution = {},
    year = {2010}
}

@inbook{bortnikov,
  title = "Reconfigurable state machine replication from non-reconfigurable building blocks",
  author = "V. Bortnikov and G. Chockler and A. Roytman and S. Shachor and I. Shnayderman and D. Perelman",
  year = "2012",
  doi = "10.1145/2332432.2332449",
  pages = "93--94",
  booktitle = "Proceedings of the 31st Annual ACM Symposium on Principles of Distributed Computing",
  publisher = "ACM",
}

@ARTICLE{flexible-paxos,
   author = {{Howard}, H. and {Malkhi}, D. and {Spiegelman}, A.},
    title = "{Flexible Paxos: Quorum intersection revisited}",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1608.06696},
 primaryClass = "cs.DC",
 keywords = {Computer Science - Distributed, Parallel, and Cluster Computing, C.2.4},
     year = 2016,
    month = aug,
   adsurl = {http://adsabs.harvard.edu/abs/2016arXiv160806696H},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}