Mergeable replicated data types

Gowtham Kaki; Swarn Priya; KC Sivaramakrishnan; Suresh Jagannathan

doi:10.1145/3360580

Mergeable replicated data types

Proceedings of the ACM on Programming Languages ◽

10.1145/3360580 ◽

2019 ◽

Vol 3 (OOPSLA) ◽

pp. 1-29 ◽

Cited By ~ 4

Author(s):

Gowtham Kaki ◽

Swarn Priya ◽

KC Sivaramakrishnan ◽

Suresh Jagannathan

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Bounded Implementations of Replicated Data Types

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_20 ◽

2015 ◽

pp. 355-372 ◽

Cited By ~ 1

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24953-7_23 ◽

2015 ◽

pp. 293-308

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Replicated data types that unify eventual consistency and observable atomic consistency

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2020.100561 ◽

2020 ◽

Vol 114 ◽

pp. 100561

Author(s):

Xin Zhao ◽

Philipp Haller

Keyword(s):

Data Types ◽

Replicated Data ◽

Eventual Consistency

Download Full-text

Higher-Order Patterns in Replicated Data Types

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19 ◽

10.1145/3301419.3323971 ◽

2019 ◽

Cited By ~ 1

Author(s):

Adriaan Leijnse ◽

Paulo Sérgio Almeida ◽

Carlos Baquero

Keyword(s):

Higher Order ◽

Data Types ◽

Replicated Data

Download Full-text

Delta state replicated data types

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2017.08.003 ◽

2018 ◽

Vol 111 ◽

pp. 162-173 ◽

Cited By ~ 10

Author(s):

Paulo Sérgio Almeida ◽

Ali Shoker ◽

Carlos Baquero

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Conflict-Free Partially Replicated Data Types

2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) ◽

10.1109/cloudcom.2015.81 ◽

2015 ◽

Author(s):

Iwan Briquemont ◽

Manuel Bravo ◽

Zhongmiao Li ◽

Peter Van Roy

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Collaborative offline web applications using conflict-free replicated data types

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '15 ◽

10.1145/2745947.2745952 ◽

2015 ◽

Cited By ~ 1

Author(s):

Santiago J. Castiñeira ◽

Annette Bieniusa

Keyword(s):

Web Applications ◽

Data Types ◽

Replicated Data

Download Full-text

Replicated data types

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/2535838.2535848 ◽

2014 ◽

Cited By ~ 77

Author(s):

Sebastian Burckhardt ◽

Alexey Gotsman ◽

Hongseok Yang ◽

Marek Zawirski

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Incremental stream processing using computational conflict-free replicated data types

Proceedings of the 3rd International Workshop on Cloud Data and Platforms - CloudDP '13 ◽

10.1145/2460756.2460762 ◽

2013 ◽

Cited By ~ 5

Author(s):

David Navalho ◽

Sérgio Duarte ◽

Nuno Preguiça ◽

Marc Shapiro

Keyword(s):

Stream Processing ◽

Data Types ◽

Replicated Data

Download Full-text

Composite Replicated Data Types

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46669-8_24 ◽

2015 ◽

pp. 585-609 ◽

Cited By ~ 6

Author(s):

Alexey Gotsman ◽

Hongseok Yang

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text