Abstract is missing.
- The CISE tool: proving weakly-consistent applications correctMahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro. [doi]
- PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolationAlejandro Z. Tomsic, Tyler Crain, Marc Shapiro. [doi]
- Decoupling conflict resolution with CDVCSChristian Weilbach, Konrad Kühne, Annette Bieniusa. [doi]
- Coordinating distributed system configuration changes with humming consensusScott Lystig Fritchie. [doi]
- Making weak consistency great againValter Balegas, Sérgio Duarte, Carla Ferreira, Nuno M. Preguiça, Rodrigo Rodrigues. [doi]
- Big(ger) sets: decomposed delta CRDT sets in RiakRussell Brown, Zeeshan Lakhani, Paul Place. [doi]
- Eventually consistent register revisitedMarek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro. [doi]
- Serializable eventual consistency: consistency through object method replayTim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt. [doi]
- Towards property-based consistency verificationPaolo Viotti, Christopher Meiklejohn, Marko Vukolic. [doi]
- Highly-scalable concurrent objectsDeepthi Devaki Akkoorath, Annette Bieniusa. [doi]
- Weak consistency and stochastic environments: harmonization of replicated machine learning modelsTobias Herb, Tim Jungnickel, Christoph Alt. [doi]
- Δ-CRDTs: making Δ-CRDTs delta-basedAlbert van der Linde, João Leitão, Nuno M. Preguiça. [doi]
- The problem with embedded CRDT counters and a solutionCarlos Baquero, Paulo Sérgio Almeida, Carl Lerche. [doi]