@article{BloomL,
  author    = {Neil Conway, William Marczak, Peter Alvaro, Joseph M. Hellerstein, David Maier},
  title     = {Logic and Lattices for Distributed Programming},
  journal   = {UC Berkeley Technical Report No. UCB/EECS-2012-167},
  volume    = {167},
  year      = {2012},
  url       = {http://db.cs.berkeley.edu/papers/UCB-lattice-tr.pdf}
}

@inproceedings{Bloom,
  author    = {Peter Alvaro, Neil Conway, Joseph M. Hellerstein, William R. Marczak},
  title     = {Consistency Analysis in Bloom: a CALM and Collected Approach},
  booktitle = {Conference on Innovative Data Systems Research},
  series    = {CIDR},
  year      = {2011},
  url       = {http://db.cs.berkeley.edu/papers/cidr11-bloom.pdf}
}

@inproceedings{Lasp,
  author    = {Christopher Meiklejohn, Peter Van Roy},
  title     = {Lasp: A Language for Distributed, Coordination-Free Programming},
  booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}
  series    = {PPDP},
  year      = {2015},
  url       = {https://pdfs.semanticscholar.org/c0ad/b28526a29f0765669167d3201e2b3605895e.pdf}
}

@inproceedings{Dynamo,
  author    = {Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels},
  title     = {Dynamo: Amazon’s Highly Available Key-value Store},
  booktitle = {ACM Symposium on Operating Systems Principles},
  series    = {SOSP},
  year      = {2007},
  url       = {https://s3.amazonaws.com/AllThingsDistributed/sosp/amazon-dynamo-sosp2007.pdf},
}

@inproceedings{ConsistencyWithoutBorders,
  author    = {Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein},
  title     = {Consistency Without Borders},
  booktitle = {ACM Symposium on Cloud Computing},
  series    = {SOCC},
  year      = {2013},
  url       = {http://www.bailis.org/papers/consistency-socc2013.pdf},
}