Mixed and Verified Consistency with Propel and ConOpY
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
Reliable Distributed Algorithms - Part 1KTH Royal Institute of Technology via edX Developing with Amazon DynamoDB (Italian)
Amazon Web Services via AWS Skill Builder Managing Consistency, Capacity, and Performance in DynamoDB (German)
Amazon Web Services via AWS Skill Builder Managing Consistency, Capacity, and Performance in DynamoDB (Italian)
Amazon Web Services via AWS Skill Builder Managing Consistency, Capacity, and Performance in DynamoDB (Portuguese)
Amazon Web Services via AWS Skill Builder