From b8d19388111b4dacecf4694a8db36f0721f26eb0 Mon Sep 17 00:00:00 2001 From: James Larisch Date: Fri, 16 Dec 2016 17:06:03 -0500 Subject: Begin lasp, add citations --- _bibliography/langs-consistency.bib | 62 ++++++++++++++++++++++++------------- 1 file changed, 40 insertions(+), 22 deletions(-) (limited to '_bibliography') 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}, +} -- cgit v1.2.3 From 84a9fbf592cc376a41600d0d0fdc7bf18fb4dd30 Mon Sep 17 00:00:00 2001 From: James Larisch Date: Sat, 17 Dec 2016 17:30:37 -0500 Subject: forgot comma --- _bibliography/langs-consistency.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '_bibliography') diff --git a/_bibliography/langs-consistency.bib b/_bibliography/langs-consistency.bib index 2b1165f..f944784 100644 --- a/_bibliography/langs-consistency.bib +++ b/_bibliography/langs-consistency.bib @@ -19,7 +19,7 @@ @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} + 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} -- cgit v1.2.3