references.bib

%%%%%%%%%% CRDTs

%% https://pages.lip6.fr/Marek.Zawirski/papers/RR-7687.pdf
@inproceedings{Shapiro:2011un,
author = {Shapiro, Marc and Pregui{\c c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
title = {Conflict-free Replicated Data Types},
booktitle = {13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},
year = {2011},
pages = {386--400},
month = oct,
doi = {10.1007/978-3-642-24550-3_29}
}

%% http://hal.inria.fr/inria-00555588/
@techreport{Shapiro:2011wy,
author = {Shapiro, Marc and Pregui{\c c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
title = {A comprehensive study of Convergent and Commutative Replicated Data Types},
year = {2011},
number = {7506},
institution = {INRIA}
}

%% http://repositorium.sdum.uminho.pt/bitstream/1822/38206/1/1867.pdf
@inproceedings{Baquero:2014ed,
author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Shoker, Ali},
title = {Making Operation-based {CRDTs} Operation-based},
booktitle = {14th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)},
year = {2014},
pages = {126--140},
month = jun,
doi = {10.1007/978-3-662-43352-2_11}
}

%% http://csl.skku.edu/papers/jpdc11.pdf
@article{Roh:2011dw,
author = {Roh, Hyun-Gul and Jeon, Myeongjae and Kim, Jin-Soo and Lee, Joonwon},
title = {Replicated abstract data types: Building blocks for collaborative applications},
journal = {Journal of Parallel and Distributed Computing},
year = {2011},
volume = {71},
number = {3},
pages = {354--368},
doi = {10.1016/j.jpdc.2010.12.006}
}

%% https://cs.kaist.ac.kr/upload_files/report/1254967150.pdf
@techreport{Roh:2009ws,
author = {Roh, Hyun-Gul and Kim, Jin-Soo and Lee, Joonwon and Maeng, Seungryoul},
title = {Optimistic Operations for Replicated Abstract Data Types},
year = {2009},
number = {CS/TR-2009-318},
month = sep,
institution = {KAIST}
}

%% https://hal.inria.fr/inria-00445975/document
@inproceedings{Preguica:2009fz,
author = {Pregui{\c c}a, Nuno and Manuel Marqu{\`e}s, Joan and Shapiro, Marc and Letia, Mihai},
title = {A commutative replicated data type for cooperative editing},
booktitle = {29th IEEE International Conference on Distributed Computing Systems (ICDCS)},
year = {2009},
month = jun,
doi = {10.1109/ICDCS.2009.20}
}

%% https://hal.archives-ouvertes.fr/file/index/docid/108523/filename/OsterCSCW06.pdf
@inproceedings{Oster:2006wj,
author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
title = {Data Consistency for {P2P} Collaborative Editing},
booktitle = {ACM Conference on Computer Supported Cooperative Work (CSCW)},
year = {2006},
month = nov,
doi = {10.1145/1180875.1180916}
}

%% https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf
@article{Weiss:2010hx,
author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal},
title = {{Logoot-Undo}: Distributed Collaborative Editing System on {P2P} networks},
journal = {IEEE Transactions on Parallel and Distributed Systems},
year = {2010},
volume = {21},
number = {8},
pages = {1162--1174},
month = jan,
doi = {10.1109/TPDS.2009.173}
}

%% https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf
@inproceedings{Nedelec:2013ky,
author = {N{\'e}delec, Brice and Molli, Pascal and Mostefaoui, Achour and Desmontils, Emmanuel},
title = {{LSEQ}: an Adaptive Structure for Sequences in Distributed Collaborative Editing},
booktitle = {13th ACM Symposium on Document Engineering (DocEng)},
year = {2013},
pages = {37--46},
month = sep,
doi = {10.1145/2494266.2494278}
}

%% https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf
@inproceedings{Bieniusa:2012gt,
author = {Bieniusa, Annette and Zawirski, Marek and Pregui{\c c}a, Nuno and Shapiro, Marc and Baquero, Carlos and Balegas, Valter and Duarte, S{\'e}rgio},
title = {Brief Announcement: Semantics of Eventually Consistent Replicated Sets},
booktitle = {26th International Symposium on Distributed Computing (DISC)},
year = {2012},
month = oct,
doi = {10.1007/978-3-642-33651-5_48}
}

%% https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf
@inproceedings{Zeller:2014fl,
author = {Zeller, Peter and Bieniusa, Annette and Poetzsch-Heffter, Arnd},
title = {Formal Specification and Verification of {CRDTs}},
booktitle = {34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE)},
year = {2014},
month = jun,
doi = {10.1007/978-3-662-43613-4_3}
}

%% https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/podc16-complete.pdf
@inproceedings{Attiya:2016kh,
author = {Attiya, Hagit and Burckhardt, Sebastian and Gotsman, Alexey and Morrison, Adam and Yang, Hongseok and Zawirski, Marek},
title = {Specification and Complexity of Collaborative Text Editing},
booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
year = {2016},
pages = {259--268},
month = jul,
doi = {10.1145/2933057.2933090}
}

%% https://arxiv.org/pdf/1010.3615.pdf
@inproceedings{Martin:2010ih,
author = {Martin, St{\'e}phane and Urso, Pascal and Weiss, St{\'e}phane},
title = {Scalable {XML} Collaborative Editing with Undo},
booktitle = {On the Move to Meaningful Internet Systems},
year = {2010},
pages = {507--514},
month = oct,
doi = {10.1007/978-3-642-16934-2_37}
}


%%%%%%%%%%%% Composition

%% https://syncfree.lip6.fr/attachments/article/46/WP3-report.pdf
@inproceedings{Brown:2014hs,
author = {Brown, Russell and Cribbs, Sean and Meiklejohn, Christopher and Elliott, Sam},
title = {{Riak DT map}: a composable, convergent replicated dictionary},
booktitle = {1st Workshop on Principles and Practice of Eventual Consistency (PaPEC)},
year = {2014},
month = apr,
doi = {10.1145/2596631.2596633}
}

@webpage{Brown:2013wy,
author = {Brown, Russell},
title = {A Bluffers Guide to {CRDTs} in {Riak}},
year = {2013},
month = oct,
url = {https://gist.github.com/russelldb/f92f44bdfb619e089a4d}
}

%% http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf
@inproceedings{Baquero:2016iv,
author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Lerche, Carl},
title = {The problem with embedded {CRDT} counters and a solution},
booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC)},
year = {2016},
month = apr,
doi = {10.1145/2911151.2911159}
}

%% http://arxiv.org/abs/1603.01529
@misc{Almeida:2016tk,
author = {Almeida, Paulo S{\'e}rgio and Shoker, Ali and Baquero, Carlos},
title = {Delta State Replicated Data Types},
howpublished = "arXiv:1603.01529 [cs.DC]",
year = {2016},
month = mar,
url = {http://arxiv.org/abs/1603.01529}
}

@techreport{Baquero:2015tm,
author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Cunha, Alcino and Ferreira, Carla},
title = {Composition of State-based {CRDTs}},
year = {2015},
month = may,
institution = {HASLab},
url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf}
}

%% http://research.microsoft.com/pubs/163842/final-with-color.pdf
@inproceedings{Burckhardt:2012jy,
author = {Burckhardt, Sebastian and F{\"a}hndrich, Manuel and Leijen, Daan and Wood, Benjamin P},
title = {Cloud Types for Eventual Consistency},
booktitle = {26th European Conference on Object-Oriented Programming (ECOOP)},
year = {2012},
month = jun,
doi = {10.1007/978-3-642-31057-7_14}
}


%%%%%%%%% Operational transformation

%% http://itu.dk/stud/speciale/bepjea/xwebtex/litt/concurrency-control-in-groupware-systems.pdf
@inproceedings{Ellis:1989ue,
author = {Ellis, Clarence and Gibbs, S J},
title = {Concurrency Control in Groupware Systems},
booktitle = {ACM International Conference on Management of Data (SIGMOD)},
year = {1989},
month = may,
pages = {399--407},
doi = {10.1145/67544.66963}
}

%% http://www.itu.dk/stud/speciale/bepjea/xwebtex/litt/integrating-transformation-oriented-approach-to-concurrency-control.pdf
@inproceedings{Ressel:1996wx,
author = {Ressel, Matthias and Nitsche-Ruhland, Doris and Gunzenh{\"a}uer, Rul},
title = {An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors},
booktitle = {ACM Conference on Computer Supported Cooperative Work (CSCW)},
year = {1996},
month = nov,
pages = {288--297},
doi = {10.1145/240080.240305}
}

%% http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53.933&rep=rep1&type=pdf
@inproceedings{Sun:1998vf,
author = {Sun, Chengzheng and Ellis, Clarence},
title = {Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements},
booktitle = {ACM Conference on Computer Supported Cooperative Work (CSCW)},
year = {1998},
pages = {59--68},
month = nov,
doi = {10.1145/289444.289469}
}

%% http://www.lively-kernel.org/repository/webwerkstatt/projects/Collaboration/paper/Jupiter.pdf
@inproceedings{Nichols:1995fd,
author = {Nichols, David A and Curtis, Pavel and Dixon, Michael and Lamping, John},
title = {High-Latency, Low-Bandwidth Windowing in the {Jupiter} Collaboration System},
booktitle = {8th Annual ACM Symposium on User Interface Software and Technology (UIST)},
year = {1995},
pages = {111--120},
month = nov,
doi = {10.1145/215585.215706}
}

%% http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.100.74&rep=rep1&type=pdf
@inproceedings{Davis:2002iv,
author = {Davis, Aguido Horatio and Sun, Chengzheng and Lu, Junwei},
title = {Generalizing Operational Transformation to the {Standard General Markup Language}},
booktitle = {ACM Conference on Computer Supported Cooperative Work (CSCW)},
year = {2002},
pages = {58--67},
month = nov,
doi = {10.1145/587078.587088}
}

%% http://www.ecscw.org/2003/017Ignat_ecscw03.pdf
@inproceedings{Ignat:2003jy,
author = {Ignat, Claudia-Lavinia and Norrie, Moira C},
title = {Customizable Collaborative Editor Relying on {treeOPT} Algorithm},
booktitle = {8th European Conference on Computer-Supported Cooperative Work (ECSCW)},
year = {2003},
pages = {315--334},
month = sep,
doi = {10.1007/978-94-010-0068-0_17}
}

%% http://www.ecscw.org/2003/015Imine_ecscw03.pdf
@inproceedings{Imine:2003ks,
author = {Imine, Abdessamad and Molli, Pascal and Oster, G{\'e}rald and Rusinowitch, Micha{\"e}l},
title = {Proving Correctness of Transformation Functions in Real-Time Groupware},
booktitle = {8th European Conference on Computer-Supported Cooperative Work (ECSCW)},
year = {2003},
pages = {277--293},
month = sep,
doi = {10.1007/978-94-010-0068-0_15}
}

@inproceedings{Li:2006kd,
author = {Li, Du and Li, Rui},
title = {A Performance Study of Group Editing Algorithms},
booktitle = {12th International Conference on Parallel and Distributed Systems (ICPADS)},
year = {2006},
pages = {300--307},
month = jul,
doi = {10.1109/ICPADS.2006.18}
}

@inproceedings{Mehdi:2011ke,
author = {Ahmed-Nacer, Mehdi and Ignat, Claudia-Lavinia and Oster, G{\'e}rald and Roh, Hyun-Gul and Urso, Pascal},
title = {Evaluating {CRDTs} for real-time document editing},
booktitle = {11th ACM Symposium on Document Engineering (DocEng)},
year = {2011},
pages = {103--112},
month = sep,
doi = {10.1145/2034691.2034717}
}

@webpage{Wang:2015vo,
title = {{Apache Wave} (incubating) Protocol Documentation, Release 0.4},
author = {Wang, David and Mah, Alex and Lassen, Soren and Thorogood, Sam},
month = aug,
year = {2015},
howpublished = {Apache Software Foundation},
url = {https://people.apache.org/~al/wave_docs/ApacheWaveProtocol-0.4.pdf}
}

@webpage{Spiewak:2010vw,
author = {Spiewak, Daniel},
title = {Understanding and Applying Operational Transformation},
year = {2010},
month = may,
url = {http://www.codecommit.com/blog/java/understanding-and-applying-operational-transformation}
}

@webpage{DayRichter:2010tt,
author = {Day-Richter, John},
title = {What's different about the new {Google Docs}: Making collaboration fast},
year = {2010},
month = sep,
url = {https://drive.googleblog.com/2010/09/whats-different-about-new-google-docs.html}
}

@webpage{Etherpad:2011um,
author = {{AppJet, Inc.}},
title = {{Etherpad} and {EasySync} Technical Manual},
year = {2011},
month = mar,
url = {https://github.com/ether/etherpad-lite/blob/e2ce9dc/doc/easysync/easysync-full-description.pdf}
}

@webpage{Google:2015vk,
author = {{Google, Inc.}},
title = {{Google Realtime API}},
year = {2015},
url = {https://developers.google.com/google-apps/realtime/overview}
}

@misc{Lemonik:2016wh,
author = {Lemonik, Micah},
howpublished = {Personal communication},
year = {2016},
month = mar
}


%%%%%%% General distributed systems stuff

%% http://research.microsoft.com/en-US/um/people/Lamport/pubs/time-clocks.pdf
@article{Lamport:1978jq,
author = {Lamport, Leslie},
title = {Time, Clocks, and the Ordering of Events in a Distributed System},
journal = {Communications of the ACM},
year = {1978},
volume = {21},
number = {7},
pages = {558--565},
month = jul,
doi = {10.1145/359545.359563}
}

%% http://gsd.di.uminho.pt/members/cbm/ps/podc-dotted.pdf
@inproceedings{Preguica:2012fx,
author = {Pregui{\c c}a, Nuno and Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Fonte, Victor and Gon{\c c}alves, Ricardo},
title = {Brief Announcement: Efficient Causality Tracking in Distributed Storage Systems with Dotted Version Vectors},
booktitle = {31st ACM Symposium on Principles of Distributed Computing (PODC)},
year = {2012},
month = jul,
doi = {10.1145/2332432.2332497}
}

%% http://dcg.ethz.ch/lectures/hs08/seminar/papers/mattern4.pdf
@article{Schwarz:1994gl,
author = {Schwarz, Reinhard and Mattern, Friedemann},
title = {Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail},
journal = {Distributed Computing},
year = {1994},
volume = {7},
number = {3},
pages = {149--174},
month = mar,
doi = {10.1007/BF02277859}
}

%% http://zoo.cs.yale.edu/classes/cs426/2013/bib/parker83detection.pdf
@article{ParkerJr:1983jb,
author = {Parker, Jr, D Stott and Popek, Gerald J and Rudisin, Gerard and Stoughton, Allen and Walker, Bruce J and Walton, Evelyn and Chow, Johanna M and Edwards, David and Kiser, Stephen and Kline, Charles},
title = {Detection of Mutual Inconsistency in Distributed Systems},
journal = {IEEE Transactions on Software Engineering},
year = {1983},
volume = {SE-9},
number = {3},
pages = {240--247},
month = may,
doi = {10.1109/TSE.1983.236733}
}

%% http://zoo.cs.yale.edu/classes/cs426/2012/lab/bib/fidge88timestamps.pdf
@inproceedings{Fidge:1988tv,
author = {Fidge, Colin J},
title = {Timestamps in message-passing systems that preserve the partial ordering},
booktitle = {11th Australian Computer Science Conference},
year = {1988},
pages = {56--66},
month = feb
}

%% https://dspace.jaist.ac.jp/dspace/bitstream/10119/4883/1/defago_et_al.pdf
@article{Defago:2004ji,
author = {D{\'e}fago, Xavier and Schiper, Andr{\'e} and Urb{\'a}n, P{\'e}ter},
title = {Total order broadcast and multicast algorithms: Taxonomy and survey},
journal = {ACM Computing Surveys},
year = {2004},
volume = {36},
number = {4},
pages = {372--421},
month = dec,
doi = {10.1145/1041680.1041682}
}

%% http://courses.csail.mit.edu/6.852/08/papers/CT96-JACM.pdf
@article{Chandra:1996cp,
author = {Chandra, Tushar Deepak and Toueg, Sam},
title = {Unreliable Failure Detectors for Reliable Distributed Systems},
journal = {Journal of the ACM},
year = {1996},
volume = {43},
number = {2},
pages = {225--267},
month = mar,
doi = {10.1145/226643.226647}
}

%% http://www.cs.technion.ac.il/people/mad/online-publications/podc2015-replds.pdf
@inproceedings{Attiya:2015dm,
author = {Attiya, Hagit and Ellen, Faith and Morrison, Adam},
title = {Limitations of Highly-Available Eventually-Consistent Data Stores},
booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
year = {2015},
month = jul,
doi = {10.1145/2767386.2767419}
}

%% http://delab.csd.auth.gr/~dimitris/courses/mpc_fall05/papers/invalidation/acm_csur85_partitioned_network_consistency.pdf
@article{Davidson:1985hv,
author = {Davidson, Susan B and Garcia-Molina, Hector and Skeen, Dale},
title = {Consistency in Partitioned Networks},
journal = {ACM Computing Surveys},
year = {1985},
volume = {17},
number = {3},
pages = {341--370},
month = sep,
doi = {10.1145/5505.5508}
}

%% http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.141.7889&rep=rep1&type=pdf
@inproceedings{Terry:1995dn,
author = {Terry, Douglas B and Theimer, Marvin M and Petersen, Karin and Demers, Alan J and Spreitzer, Mike J and Hauser, Carl H},
title = {Managing update conflicts in {Bayou}, a weakly connected replicated storage system},
booktitle = {15th ACM Symposium on Operating Systems Principles (SOSP)},
year = {1995},
pages = {172--182},
month = dec,
doi = {10.1145/224056.224070}
}

%% http://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf
@inproceedings{DeCandia:2007ui,
author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
title = {{Dynamo}: {Amazon}'s Highly Available Key-Value Store},
booktitle = {21st ACM Symposium on Operating Systems Principles (SOSP)},
year = {2007},
pages = {205--220},
month = oct,
doi = {10.1145/1294261.1294281}
}

%% http://arxiv.org/pdf/1402.2237.pdf
@article{Bailis:2014th,
author = {Bailis, Peter and Fekete, Alan and Franklin, Michael J and Ghodsi, Ali and Hellerstein, Joseph M and Stoica, Ion},
title = {Coordination avoidance in database systems},
journal = {Proceedings of the VLDB Endowment},
year = {2014},
volume = {8},
number = {3},
pages = {185--196},
month = nov,
doi = {10.14778/2735508.2735509}
}

%% https://www.researchgate.net/profile/Sundar_Balasubramaniam/publication/2576101_What_is_a_File_Synchronizer/links/0fcfd50d8684762faa000000.pdf
@inproceedings{Balasubramaniam:1998jh,
author = {Balasubramaniam, Sundar and Pierce, Benjamin C},
title = {What is a File Synchronizer?},
booktitle = {4th Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom)},
year = {1998},
pages = {98--108},
month = oct,
doi = {10.1145/288235.288261}
}

%% http://cis.upenn.edu/~bcpierce/courses/dd/papers/ramsey-sync.pdf
@inproceedings{Ramsey:2001ce,
author = {Ramsey, Norman and Csirmaz, El{\H o}d},
title = {An Algebraic Approach to File Synchronization},
booktitle = {8th European Software Engineering Conference (ESEC/FSE-9)},
year = {2001},
month = sep,
doi = {10.1145/503209.503233}
}


%%%%%%%%%%%%%% Security and crypto

%% http://cacr.uwaterloo.ca/techreports/2015/cacr2015-02.pdf
@inproceedings{Unger:2015kg,
author = {Unger, Nik and Dechand, Sergej and Bonneau, Joseph and Fahl, Sascha and Perl, Henning and Goldberg, Ian and Smith, Matthew},
title = {{SoK}: Secure Messaging},
booktitle = {36th IEEE Symposium on Security and Privacy},
year = {2015},
month = may,
doi = {10.1109/SP.2015.22}
}