DSys RG April 2022: CRDTs

Paper: https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf

00:20:40 Quinn Wilton: [2012.00472] Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases
00:20:56 Quinn Wilton: https://fission.codes/discord
00:25:30 Alex Vincent: regarding vector clocks and causal updates https://arxiv.org/pdf/1011.5808.pdf
00:35:08 Adam Lancaster: located in is a good example
00:37:51 Na: i think they talk about this in 3.3 “SEC is incomparable to sequential consistency”
00:38:20 Na: (the biasing)
00:38:45 Adam Lancaster: A CRDT Primer Part I: Defanging Order Theory · An Abstract Plane
00:40:03 Marc-Antoine Parent: Logic programming in Rust | ascent ?
00:40:29 Brooklyn Zelenka (@expede): I believe so, yup
00:41:37 Marc-Antoine Parent: the other inria article has a good list
00:42:10 Marc-Antoine Parent: (quoted in this one) https://hal.inria.fr/inria-00555588/document
00:42:56 Adam Lancaster: not to put you on the spot, but is there an example of a lattice?
00:45:01 Marc-Antoine Parent: Yes. Composability is one fundamental useful property of CRDTs
00:50:03 Adam Lancaster: jensen having a field day
00:50:07 Adam Lancaster: **jepsen
00:50:36 Philipp: https://crdt.tech/
00:50:52 Brian: https://christophermeiklejohn.com/publications/ppdp-2015-preprint.pdf
00:51:25 Marc-Antoine Parent: Quinn: could it be Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R Beresford. OpSets: Sequential specifications for replicated ?
00:51:54 Marc-Antoine Parent: [1805.04263] OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
00:52:35 Marc-Antoine Parent: also possible: [1707.01747] Verifying Strong Eventual Consistency in Distributed Systems Verifying Strong Eventual Consistency in Distributed Systems
00:53:52 Marc-Antoine Parent: http://bloom-lang.net
00:55:37 Na: feels kinda like rust’s unsafe, but for distributed systems instead of memory safety
01:02:43 Na: https://explorabl.es/
01:03:38 Brooklyn Zelenka (@expede): https://www.braid.org/
01:04:15 Thaddeus Walsh: what was the name of the author of that software?