aboutsummaryrefslogtreecommitdiff
path: root/_bibliography/langs-consistency.bib
blob: 257eb93a7123f7babe97e61aaa512cbef9b315a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
@article{BloomL,
  author    = {Neil Conway and William Marczak and Peter Alvaro and Joseph M. Hellersteina and 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 and Neil Conway and Joseph M. Hellerstein and 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 and 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 and Deniz Hastorun and Madan Jampani and Gunavardhan Kakulapati and Avinash Lakshman and Alex Pilchin and Swaminathan Sivasubramanian and Peter Vosshall and 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 and Peter Bailis and Neil Conway and 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},
}