This is a repository for my research, paper reading summaries/reviews, and relevant blog-like posts in markdown.
CAP twelve years later: How the “rules” have changed
‘Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Modular Software Upgrades for Distributed Systems
A schedule of the readings for CMPS 290S for my convenience. I’ll also link my reading reviews as I write them, just so that this feels a bit more complete.
Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services
CAP twelve years later: How the “rules” have changed
Linearizability: A Correctness Condition for Concurrent Objects
Causal memory: definitions, implementation, and programming
I used a free pass and didn’t do this reading
Time, Clocks, and the Ordering of Events
Session Gurantees for Weakly Consistent Replicated Data
Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
Consistency in Non-Transactional Distributed Storage Systems
Conflict-free Replicated Data Types
Not done
A comprehensive study of Convergent and Commutative Replicated Data Types
Not done
Class cancelled
Cloud Types for Eventual Consistency
Replicated Data Types: Specification, Verification, Optimality
Disciplined Inconsistency with Consistency Types
‘Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems
MixT: A Language for Mixing Consistency in Geodistributed Transactions
Quick break
Reactive Caching for Composed Services
Consistency Analysis in Bloom: a CALM and Collected Approach
Logic and lattices for distributed programming
From Clarity to Efficiency for Distributed Algorithms
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
P: safe asynchronous event-driven programming
Orleans: Cloud Computing for Everyone
Naiad: A Timely Dataflow System
Modular Software Upgrades for Distributed Systems
Rehearsal: A Configuration Verification Tool for Puppet
Abstractions for Network Update