YoVDO

Mixed and Verified Consistency with Propel and ConOpY

Offered By: ACM SIGPLAN via YouTube

Tags

Distributed Systems Courses Type System Courses Eventual Consistency Courses Consistency Models Courses Conflict-Free Replicated Data Types Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore mixed consistency in distributed systems and verified Conflict-free Replicated Data Types (CRDTs) in this conference talk. Dive into ConOpY, an object-oriented language supporting mixed consistent replication, and learn how its type system ensures static reasoning about consistency. Discover Propel, the first type system capturing algebraic properties required for correct CRDT implementation. Understand how Propel's Scala embedding enables automatic deduction of properties for state-based CRDTs and its potential for verifying op-based CRDTs. Gain insights into the challenges of managing consistency in replicated data and the innovative solutions presented to address these issues in distributed system programming.

Syllabus

[PLF23] Mixed & Verified Consistency with Propel and ConOpY


Taught by

ACM SIGPLAN

Related Courses

Automerge: A New Foundation for Collaboration Software
ChariotSolutions via YouTube CRDTs Illustrated
Strange Loop Conference via YouTube Distributed, Eventually Consistent Computations
Strange Loop Conference via YouTube Conflict-Free Replicated Data Types (CRDTs) - April 2022
Fission via YouTube Making CRDTs Byzantine Fault Tolerant
Fission via YouTube