Media Summary: Authors: Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, Suresh Jagannathan Presented at SPLASH 2019. The concept of collaborative applications is well known. Popular examples of collaborative applications are Google docs and ... This talk was given at Nomadic Labs Caravanserai on 26th April 2022.

Mergeable Replicated Data Types - Detailed Analysis & Overview

Authors: Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, Suresh Jagannathan Presented at SPLASH 2019. The concept of collaborative applications is well known. Popular examples of collaborative applications are Google docs and ... This talk was given at Nomadic Labs Caravanserai on 26th April 2022. Talk by Kartik Nagar in the IARCS Verification Seminar Series, on June 04, 2024. More details can be found on the webpage: ... In his passion talk at Offline Camp California 2016, Paul Frazee shared a primer on Conflict-Free 2025 Innovations In Compiler Technology Workshop, Bangalore, India

In this video, we break down Conflict-Free Udemy course: This deep dive explores Conflict-Free Let's see how many of you lasted more than three minutes - it's not so easy ladies. Type-Checking CRDTs with Propel Conflict-free System Design for SDE-2 and above: System Design for Beginners: ... As always lemme know what I messed up. Some cool follow ups to this are CRDTs, and operational transform for conflict ...

Photo Gallery

Mergeable Replicated Data Types
Certified Mergeable Replicated Data Types
An introduction to Conflict-Free Replicated Data Types (CRDTs)
Certified mergeable replicated datatypes
Certified Mergeable Replicated Data Types
Specifying and Verifying Correctness of Mergeable Replicated Data Types
Google SWE teaches systems design | EP23: Conflict-Free Replicated Data Types
CS Colloquium: "Affordable formal verification for practical distributed systems," Gowtham Kaki
Conflict-Free Replicated Data Types (CRDTs)
Compiling Distributed Consistency: Orthogonally Replicated Data Types | Rupashree | IICT'25
The most underrated concept in Distributed Systems (CRDT’S)
Bolt-On Convergence in Mergeable Replicated Data Types (PaPoC'22)
View Detailed Profile
Mergeable Replicated Data Types

Mergeable Replicated Data Types

Authors: Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, Suresh Jagannathan Presented at SPLASH 2019.

Certified Mergeable Replicated Data Types

Certified Mergeable Replicated Data Types

https://pldi22.sigplan.org/details/pldi-2022-pldi/68/Certified-

An introduction to Conflict-Free Replicated Data Types (CRDTs)

An introduction to Conflict-Free Replicated Data Types (CRDTs)

The concept of collaborative applications is well known. Popular examples of collaborative applications are Google docs and ...

Certified mergeable replicated datatypes

Certified mergeable replicated datatypes

This talk was given at Nomadic Labs Caravanserai on 26th April 2022.

Certified Mergeable Replicated Data Types

Certified Mergeable Replicated Data Types

Certified

Specifying and Verifying Correctness of Mergeable Replicated Data Types

Specifying and Verifying Correctness of Mergeable Replicated Data Types

Talk by Kartik Nagar in the IARCS Verification Seminar Series, on June 04, 2024. More details can be found on the webpage: ...

Google SWE teaches systems design | EP23: Conflict-Free Replicated Data Types

Google SWE teaches systems design | EP23: Conflict-Free Replicated Data Types

They could realize use a conflict free

CS Colloquium: "Affordable formal verification for practical distributed systems," Gowtham Kaki

CS Colloquium: "Affordable formal verification for practical distributed systems," Gowtham Kaki

Our work on

Conflict-Free Replicated Data Types (CRDTs)

Conflict-Free Replicated Data Types (CRDTs)

In his passion talk at Offline Camp California 2016, Paul Frazee shared a primer on Conflict-Free

Compiling Distributed Consistency: Orthogonally Replicated Data Types | Rupashree | IICT'25

Compiling Distributed Consistency: Orthogonally Replicated Data Types | Rupashree | IICT'25

2025 Innovations In Compiler Technology Workshop, Bangalore, India https://compilertech.org/ ...

The most underrated concept in Distributed Systems (CRDT’S)

The most underrated concept in Distributed Systems (CRDT’S)

In this video, we break down Conflict-Free

Bolt-On Convergence in Mergeable Replicated Data Types (PaPoC'22)

Bolt-On Convergence in Mergeable Replicated Data Types (PaPoC'22)

Paper: https://gowthamk.github.io/docs/papoc22.pdf.

59. Databricks Pyspark:Slowly Changing Dimension|SCD Type1| Merge using Pyspark and Spark SQL

59. Databricks Pyspark:Slowly Changing Dimension|SCD Type1| Merge using Pyspark and Spark SQL

DatabricksMerge,#DatabricksUpsert, #SparkMerge,#SparkUpsert,#PysparkMerge,#PysparkUpsert,#SparkSqlMerge ...

USENIX ATC '14 - Automating the Choice of Consistency Levels in Replicated Systems

USENIX ATC '14 - Automating the Choice of Consistency Levels in Replicated Systems

... use causally consistent commutative

RustFest Rome 2018 -  Matteo Bertini : Simple CRDT in Rust

RustFest Rome 2018 - Matteo Bertini : Simple CRDT in Rust

A conflict-free

How Real-Time Collaboration Works: A Deep Dive into CRDTs

How Real-Time Collaboration Works: A Deep Dive into CRDTs

Udemy course: https://staffengineer.rougeneuron.in This deep dive explores Conflict-Free

CRDTs - Stop Worrying About Write Conflicts | Systems Design 0 to 1 with Ex-Google SWE

CRDTs - Stop Worrying About Write Conflicts | Systems Design 0 to 1 with Ex-Google SWE

Let's see how many of you lasted more than three minutes - it's not so easy ladies.

[PLF23] Mixed & Verified Consistency with Propel and ConOpY

[PLF23] Mixed & Verified Consistency with Propel and ConOpY

Type-Checking CRDTs with Propel Conflict-free

Everything you need to know about CRDTs w/ Vipul Vaibhaw | Ep 2

Everything you need to know about CRDTs w/ Vipul Vaibhaw | Ep 2

System Design for SDE-2 and above: https://arpitbhayani.me/masterclass System Design for Beginners: ...

Google SWE teaches systems design | EP3: Multileader replication

Google SWE teaches systems design | EP3: Multileader replication

As always lemme know what I messed up. Some cool follow ups to this are CRDTs, and operational transform for conflict ...