BibTeX records: Martin Kleppmann

download as .bib file

@inproceedings{DBLP:conf/papoc/StewenK24,
  author       = {Leo Stewen and
                  Martin Kleppmann},
  title        = {Undo and Redo Support for Replicated Registers},
  booktitle    = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
                  for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3642976.3653029},
  doi          = {10.1145/3642976.3653029},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/papoc/StewenK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/DaK24,
  author       = {Liangrun Da and
                  Martin Kleppmann},
  title        = {Extending {JSON} CRDTs with Move Operations},
  booktitle    = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
                  for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
  pages        = {8--14},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3642976.3653030},
  doi          = {10.1145/3642976.3653030},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/papoc/DaK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KocaogullarHKB24,
  author       = {Ceren Kocaogullar and
                  Daniel Hugenroth and
                  Martin Kleppmann and
                  Alastair R. Beresford},
  title        = {Pudding: Private User Discovery in Anonymity Networks},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2024, San Francisco,
                  CA, USA, May 19-23, 2024},
  pages        = {3203--3220},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/SP54263.2024.00167},
  doi          = {10.1109/SP54263.2024.00167},
  timestamp    = {Sat, 21 Sep 2024 14:24:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/KocaogullarHKB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-03239,
  author       = {Martin Kleppmann and
                  Paul Frazee and
                  Jake Gold and
                  Jay Graber and
                  Daniel Holmgren and
                  Devin Ivy and
                  Jeromy Johnson and
                  Bryan Newbold and
                  Jaz Volpert},
  title        = {Bluesky and the {AT} Protocol: Usable Decentralized Social Media},
  journal      = {CoRR},
  volume       = {abs/2402.03239},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.03239},
  doi          = {10.48550/ARXIV.2402.03239},
  eprinttype    = {arXiv},
  eprint       = {2402.03239},
  timestamp    = {Mon, 12 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-03239.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-11308,
  author       = {Leo Stewen and
                  Martin Kleppmann},
  title        = {Undo and Redo Support for Replicated Registers},
  journal      = {CoRR},
  volume       = {abs/2404.11308},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.11308},
  doi          = {10.48550/ARXIV.2404.11308},
  eprinttype    = {arXiv},
  eprint       = {2404.11308},
  timestamp    = {Wed, 22 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-11308.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00583,
  author       = {Matthew Weidner and
                  Joseph Gentle and
                  Martin Kleppmann},
  title        = {The Art of the Fugue: Minimizing Interleaving in Collaborative Text
                  Editing},
  journal      = {CoRR},
  volume       = {abs/2305.00583},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.00583},
  doi          = {10.48550/ARXIV.2305.00583},
  eprinttype    = {arXiv},
  eprint       = {2305.00583},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-00583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10825,
  author       = {Ceren Kocaogullar and
                  Daniel Hugenroth and
                  Martin Kleppmann and
                  Alastair R. Beresford},
  title        = {Pudding: Private User Discovery in Anonymity Networks},
  journal      = {CoRR},
  volume       = {abs/2311.10825},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.10825},
  doi          = {10.48550/ARXIV.2311.10825},
  eprinttype    = {arXiv},
  eprint       = {2311.10825},
  timestamp    = {Wed, 22 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-10825.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14007,
  author       = {Liangrun Da and
                  Martin Kleppmann},
  title        = {Extending {JSON} {CRDT} with Move Operations},
  journal      = {CoRR},
  volume       = {abs/2311.14007},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.14007},
  doi          = {10.48550/ARXIV.2311.14007},
  eprinttype    = {arXiv},
  eprint       = {2311.14007},
  timestamp    = {Thu, 30 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-14007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KleppmannA22,
  author       = {Martin Kleppmann and
                  Peter Alvaro},
  title        = {Research for practice: convergence},
  journal      = {Commun. {ACM}},
  volume       = {65},
  number       = {11},
  pages        = {104--106},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563901},
  doi          = {10.1145/3563901},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/KleppmannA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/LittLKH22,
  author       = {Geoffrey Litt and
                  Sarah Lim and
                  Martin Kleppmann and
                  Peter van Hardenberg},
  title        = {Peritext: {A} {CRDT} for Collaborative Rich Text Editing},
  journal      = {Proc. {ACM} Hum. Comput. Interact.},
  volume       = {6},
  number       = {{CSCW2}},
  pages        = {1--36},
  year         = {2022},
  url          = {https://doi.org/10.1145/3555644},
  doi          = {10.1145/3555644},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmhci/LittLKH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/KleppmannA22,
  author       = {Martin Kleppmann and
                  Peter Alvaro},
  title        = {Covergence: Research for Practice reboot},
  journal      = {{ACM} Queue},
  volume       = {20},
  number       = {3},
  pages        = {88--95},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546931},
  doi          = {10.1145/3546931},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/queue/KleppmannA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KleppmannMGB22,
  author       = {Martin Kleppmann and
                  Dominic P. Mulligan and
                  Victor B. F. Gomes and
                  Alastair R. Beresford},
  title        = {A Highly-Available Move Operation for Replicated Trees},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {33},
  number       = {7},
  pages        = {1711--1724},
  year         = {2022},
  url          = {https://doi.org/10.1109/TPDS.2021.3118603},
  doi          = {10.1109/TPDS.2021.3118603},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/KleppmannMGB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Kleppmann22,
  author       = {Martin Kleppmann},
  editor       = {Adriana Szekeres and
                  K. C. Sivaramakrishnan},
  title        = {Making CRDTs Byzantine fault tolerant},
  booktitle    = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
                  and Practice of Consistency for Distributed Data, Rennes, France,
                  April 5 - 8, 2022},
  pages        = {8--15},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3517209.3524042},
  doi          = {10.1145/3517209.3524042},
  timestamp    = {Wed, 30 Mar 2022 16:27:09 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/Kleppmann22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WeidnerKHB21,
  author       = {Matthew Weidner and
                  Martin Kleppmann and
                  Daniel Hugenroth and
                  Alastair R. Beresford},
  editor       = {Yongdae Kim and
                  Jong Kim and
                  Giovanni Vigna and
                  Elaine Shi},
  title        = {Key Agreement for Decentralized Secure Group Messaging with Strong
                  Security Guarantees},
  booktitle    = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
                  Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
  pages        = {2024--2045},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3460120.3484542},
  doi          = {10.1145/3460120.3484542},
  timestamp    = {Tue, 16 Nov 2021 12:59:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/WeidnerKHB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/Kleppmann21,
  author       = {Martin Kleppmann},
  editor       = {Alessandro Margara and
                  Emanuele Della Valle and
                  Alexander Artikis and
                  Nesime Tatbul and
                  Helge Parzyjegla},
  title        = {Thinking in events: from databases to distributed collaboration software:
                  keynote at the 15th {ACM} International Conference on Distributed
                  and Event-Based Systems {(DEBS)}},
  booktitle    = {15th {ACM} International Conference on Distributed and Event-based
                  Systems, {DEBS} 2021, Virtual Event, Italy, June 28 - July 2, 2021},
  pages        = {15--24},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3465480.3467835},
  doi          = {10.1145/3465480.3467835},
  timestamp    = {Wed, 20 Jul 2022 14:24:56 +0200},
  biburl       = {https://dblp.org/rec/conf/debs/Kleppmann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/HugenrothKB21,
  author       = {Daniel Hugenroth and
                  Martin Kleppmann and
                  Alastair R. Beresford},
  editor       = {Michael D. Bailey and
                  Rachel Greenstadt},
  title        = {Rollercoaster: An Efficient Group-Multicast Scheme for Mix Networks},
  booktitle    = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
                  2021},
  pages        = {3433--3450},
  publisher    = {{USENIX} Association},
  year         = {2021},
  url          = {https://www.usenix.org/conference/usenixsecurity21/presentation/hugenroth},
  timestamp    = {Mon, 20 Nov 2023 08:57:49 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/HugenrothKB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Kleppmann20,
  author       = {Martin Kleppmann},
  editor       = {Alan D. Fekete and
                  Martin Kleppmann},
  title        = {Moving elements in list CRDTs},
  booktitle    = {7th Workshop on Principles and Practice of Consistency for Distributed
                  Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
  pages        = {4:1--4:6},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3380787.3393677},
  doi          = {10.1145/3380787.3393677},
  timestamp    = {Thu, 27 Aug 2020 11:23:11 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/Kleppmann20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HardenbergK20,
  author       = {Peter van Hardenberg and
                  Martin Kleppmann},
  editor       = {Alan D. Fekete and
                  Martin Kleppmann},
  title        = {PushPin: towards production-quality peer-to-peer collaboration},
  booktitle    = {7th Workshop on Principles and Practice of Consistency for Distributed
                  Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
  pages        = {10:1--10:10},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3380787.3393683},
  doi          = {10.1145/3380787.3393683},
  timestamp    = {Wed, 29 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/HardenbergK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2020papoc,
  editor       = {Alan D. Fekete and
                  Martin Kleppmann},
  title        = {7th Workshop on Principles and Practice of Consistency for Distributed
                  Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3380787},
  doi          = {10.1145/3380787},
  isbn         = {978-1-4503-7524-5},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/2020papoc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-00472,
  author       = {Martin Kleppmann and
                  Heidi Howard},
  title        = {Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer
                  Databases},
  journal      = {CoRR},
  volume       = {abs/2012.00472},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.00472},
  eprinttype    = {arXiv},
  eprint       = {2012.00472},
  timestamp    = {Fri, 04 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-00472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WeidnerKHB20,
  author       = {Matthew Weidner and
                  Martin Kleppmann and
                  Daniel Hugenroth and
                  Alastair R. Beresford},
  title        = {Key Agreement for Decentralized Secure Group Messaging with Strong
                  Security Guarantees},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1281},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1281},
  timestamp    = {Fri, 30 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/WeidnerKHB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KleppmannBS19,
  author       = {Martin Kleppmann and
                  Alastair R. Beresford and
                  Boerge Svingen},
  title        = {Online event processing},
  journal      = {Commun. {ACM}},
  volume       = {62},
  number       = {5},
  pages        = {43--49},
  year         = {2019},
  url          = {https://doi.org/10.1145/3312527},
  doi          = {10.1145/3312527},
  timestamp    = {Thu, 09 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/KleppmannBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/KollmannKB19,
  author       = {Stephan A. Kollmann and
                  Martin Kleppmann and
                  Alastair R. Beresford},
  title        = {Snapdoc: Authenticated snapshots with history privacy in peer-to-peer
                  collaborative editing},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2019},
  number       = {3},
  pages        = {210--232},
  year         = {2019},
  url          = {https://doi.org/10.2478/popets-2019-0044},
  doi          = {10.2478/POPETS-2019-0044},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/popets/KollmannKB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/KleppmannBS19,
  author       = {Martin Kleppmann and
                  Alastair R. Beresford and
                  Boerge Svingen},
  title        = {Online Event Processing},
  journal      = {{ACM} Queue},
  volume       = {17},
  number       = {1},
  pages        = {40},
  year         = {2019},
  url          = {https://doi.org/10.1145/3317287.3321612},
  doi          = {10.1145/3317287.3321612},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/queue/KleppmannBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/KleppmannGMB19,
  author       = {Martin Kleppmann and
                  Victor B. F. Gomes and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {Interleaving anomalies in collaborative text editors},
  booktitle    = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
                  for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
                  25-28, 2019},
  pages        = {6:1--6:7},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3301419.3323972},
  doi          = {10.1145/3301419.3323972},
  timestamp    = {Wed, 29 Apr 2020 14:11:46 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/KleppmannGMB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KleppmannWHM19,
  author       = {Martin Kleppmann and
                  Adam Wiggins and
                  Peter van Hardenberg and
                  Mark McGranaghan},
  editor       = {Hidehiko Masuhara and
                  Tomas Petricek},
  title        = {Local-first software: you own your data, in spite of the cloud},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on
                  New Ideas, New Paradigms, and Reflections on Programming and Software,
                  Onward! 2019, Athens, Greece, October 23-24, 2019},
  pages        = {154--178},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359591.3359737},
  doi          = {10.1145/3359591.3359737},
  timestamp    = {Mon, 21 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/KleppmannWHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/VasileKTB19,
  author       = {Diana A. Vasile and
                  Martin Kleppmann and
                  Daniel R. Thomas and
                  Alastair R. Beresford},
  editor       = {Jonathan Anderson and
                  Frank Stajano and
                  Bruce Christianson and
                  Vashek Maty{\'{a}}s},
  title        = {Ghost Trace on the Wire? Using Key Evidence for Informed Decisions},
  booktitle    = {Security Protocols {XXVII} - 27th International Workshop, Cambridge,
                  UK, April 10-12, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12287},
  pages        = {245--257},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-57043-9\_23},
  doi          = {10.1007/978-3-030-57043-9\_23},
  timestamp    = {Mon, 24 Aug 2020 16:33:11 +0200},
  biburl       = {https://dblp.org/rec/conf/spw/VasileKTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/Kleppmann19,
  author       = {Martin Kleppmann},
  editor       = {Sherif Sakr and
                  Albert Y. Zomaya},
  title        = {Apache Samza},
  booktitle    = {Encyclopedia of Big Data Technologies},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-319-63962-8\_197-2},
  doi          = {10.1007/978-3-319-63962-8\_197-2},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/bdt/Kleppmann19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/KleppmannGMB18,
  author       = {Martin Kleppmann and
                  Victor B. F. Gomes and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {OpSets: Sequential Specifications for Replicated Datatypes},
  journal      = {Arch. Formal Proofs},
  volume       = {2018},
  year         = {2018},
  url          = {https://www.isa-afp.org/entries/OpSets.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KleppmannGMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/KleppmannKVB18,
  author       = {Martin Kleppmann and
                  Stephan A. Kollmann and
                  Diana A. Vasile and
                  Alastair R. Beresford},
  editor       = {Vashek Maty{\'{a}}s and
                  Petr Svenda and
                  Frank Stajano and
                  Bruce Christianson and
                  Jonathan Anderson},
  title        = {From Secure Messaging to Secure Collaboration},
  booktitle    = {Security Protocols {XXVI} - 26th International Workshop, Cambridge,
                  UK, March 19-21, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11286},
  pages        = {179--185},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03251-7\_21},
  doi          = {10.1007/978-3-030-03251-7\_21},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/spw/KleppmannKVB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/Kleppmann18,
  author       = {Martin Kleppmann},
  editor       = {Vashek Maty{\'{a}}s and
                  Petr Svenda and
                  Frank Stajano and
                  Bruce Christianson and
                  Jonathan Anderson},
  title        = {From Secure Messaging to Secure Collaboration (Transcript of Discussion)},
  booktitle    = {Security Protocols {XXVI} - 26th International Workshop, Cambridge,
                  UK, March 19-21, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11286},
  pages        = {186--191},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03251-7\_22},
  doi          = {10.1007/978-3-030-03251-7\_22},
  timestamp    = {Tue, 27 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spw/Kleppmann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04263,
  author       = {Martin Kleppmann and
                  Victor B. F. Gomes and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {OpSets: Sequential Specifications for Replicated Datatypes (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1805.04263},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.04263},
  eprinttype    = {arXiv},
  eprint       = {1805.04263},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-04263.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/GomesKMB17,
  author       = {Victor B. F. Gomes and
                  Martin Kleppmann and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {A framework for establishing Strong Eventual Consistency for Conflict-free
                  Replicated Datatypes},
  journal      = {Arch. Formal Proofs},
  volume       = {2017},
  year         = {2017},
  url          = {https://www.isa-afp.org/entries/CRDT.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GomesKMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GomesKMB17,
  author       = {Victor B. F. Gomes and
                  Martin Kleppmann and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {Verifying strong eventual consistency in distributed systems},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{OOPSLA}},
  pages        = {109:1--109:28},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133933},
  doi          = {10.1145/3133933},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GomesKMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KleppmannB17,
  author       = {Martin Kleppmann and
                  Alastair R. Beresford},
  title        = {A Conflict-Free Replicated {JSON} Datatype},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {28},
  number       = {10},
  pages        = {2733--2746},
  year         = {2017},
  url          = {https://doi.org/10.1109/TPDS.2017.2697382},
  doi          = {10.1109/TPDS.2017.2697382},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/KleppmannB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GomesKMB17,
  author       = {Victor B. F. Gomes and
                  Martin Kleppmann and
                  Dominic P. Mulligan and
                  Alastair R. Beresford},
  title        = {Verifying Strong Eventual Consistency in Distributed Systems},
  journal      = {CoRR},
  volume       = {abs/1707.01747},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.01747},
  eprinttype    = {arXiv},
  eprint       = {1707.01747},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GomesKMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/oreilly/Kleppmann2014,
  author       = {Martin Kleppmann},
  title        = {Designing Data-Intensive Applications: The Big Ideas Behind Reliable,
                  Scalable, and Maintainable Systems},
  publisher    = {O'Reilly},
  year         = {2016},
  url          = {http://shop.oreilly.com/product/0636920032175.do},
  isbn         = {978-1-4493-7332-0},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/oreilly/Kleppmann2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KleppmannB16,
  author       = {Martin Kleppmann and
                  Alastair R. Beresford},
  title        = {A Conflict-Free Replicated {JSON} Datatype},
  journal      = {CoRR},
  volume       = {abs/1608.03960},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.03960},
  eprinttype    = {arXiv},
  eprint       = {1608.03960},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KleppmannB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/KleppmannK15,
  author       = {Martin Kleppmann and
                  Jay Kreps},
  title        = {Kafka, Samza and the Unix Philosophy of Distributed Data},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {38},
  number       = {4},
  pages        = {4--14},
  year         = {2015},
  url          = {http://sites.computer.org/debull/A15dec/p4.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/KleppmannK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/passwords/KleppmannI15,
  author       = {Martin Kleppmann and
                  Conrad Irwin},
  editor       = {Frank Stajano and
                  Stig Fr. Mj{\o}lsnes and
                  Graeme Jenkinson and
                  Per Thorsheim},
  title        = {Strengthening Public Key Authentication Against Key Theft (Short Paper)},
  booktitle    = {Technology and Practice of Passwords - 9th International Conference,
                  {PASSWORDS} 2015, Cambridge, UK, December 7-9, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9551},
  pages        = {144--150},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29938-9\_9},
  doi          = {10.1007/978-3-319-29938-9\_9},
  timestamp    = {Sat, 19 Oct 2019 20:25:19 +0200},
  biburl       = {https://dblp.org/rec/conf/passwords/KleppmannI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kleppmann15,
  author       = {Martin Kleppmann},
  title        = {A Critique of the {CAP} Theorem},
  journal      = {CoRR},
  volume       = {abs/1509.05393},
  year         = {2015},
  url          = {http://arxiv.org/abs/1509.05393},
  eprinttype    = {arXiv},
  eprint       = {1509.05393},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kleppmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}