Begin lasp, add citations

1 files changed, 40 insertions, 22 deletions

diff --git a/_bibliography/langs-consistency.bib b/_bibliography/langs-consistency.bib
index 416b697..2b1165f 100644
--- a/_bibliography/langs-consistency.bib
+++ b/_bibliography/langs-consistency.bib
@@ -1,26 +1,44 @@
-@inproceedings{Uniqueness,
-  author    = {Philipp Haller and
-               Martin Odersky},
-  title     = {Capabilities for Uniqueness and Borrowing},
-  booktitle = {ECOOP 2010, Maribor, Slovenia, June 21-25, 2010.},
-  pages     = {354--378},
-  year      = {2010},
+@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{Elsman2005,
-  author    = {Martin Elsman},
-  title     = {Type-specialized serialization with sharing},
-  booktitle = {Trends in Functional Programming},
-  year      = {2005},
-  pages     = {47-62},
+@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}
 }
 
-@article{Kennedy2004,
-  author    = {Andrew Kennedy},
-  title     = {Pickler combinators},
-  journal   = {J. Funct. Program.},
-  volume    = {14},
-  number    = {6},
-  year      = {2004},
-  pages     = {727-739},
-}
\ No newline at end of file
+@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},
+}