Presentation Schedule

This is a repository for my research, paper reading summaries/reviews, and relevant blog-like posts in markdown.

Presentation Schedule

Oct 3rd - Wednesday

Paper

CAP twelve years later: How the “rules” have changed

Presentation

Reading Presentation

Nov 2 Friday

Paper

‘Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Presentation

Dec 3 Monday

Paper

Modular Software Upgrades for Distributed Systems

Presentation

Reading Schedule

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.

Oct 1st - Monday

Paper

Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services

Response

Reading Response

Oct 3rd - Wednesday

Paper

CAP twelve years later: How the “rules” have changed

Presentation

Reading Presentation

Oct 5th - Friday

Paper

Linearizability: A Correctness Condition for Concurrent Objects

Response

Reading Response

Oct 8th - Monday

Paper

Causal memory: definitions, implementation, and programming

Response

I used a free pass and didn’t do this reading

Oct 10th - Wednesday

Paper

Time, Clocks, and the Ordering of Events

Response

Reading Response

Oct 12th - Friday

Paper

Session Gurantees for Weakly Consistent Replicated Data

Response

Reading Response

Oct 15th - Monday

Paper

Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS

Response

Reading Response

Oct 17th - Wednesday

Paper

Consistency in Non-Transactional Distributed Storage Systems

Response

Reading Response

Oct 19 Friday

Paper

Conflict-free Replicated Data Types

Response

Not done

Oct 22 Monday

A comprehensive study of Convergent and Commutative Replicated Data Types

Response

Not done

Oct 24 Wednesday

Class cancelled

Oct 26 Friday

Paper

Cloud Types for Eventual Consistency

Response

Reading Response

Oct 29 Monday

Paper

Replicated Data Types: Specification, Verification, Optimality

Response

Reading Response

Oct 31 Wednesday

Paper

Disciplined Inconsistency with Consistency Types

Response

Reading Response

Nov 2 Friday

Paper

‘Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Presentation

Nov 5 Monday

Paper

MixT: A Language for Mixing Consistency in Geodistributed Transactions

Response

Reading Response

Nov 7 Wednesday

Quick break

Nov 9 Friday

Paper

Reactive Caching for Composed Services

Response

Nov 14 Wednesday

Paper

Consistency Analysis in Bloom: a CALM and Collected Approach

Response

Nov 16 Friday

Paper

Logic and lattices for distributed programming

Response

Nov 19 Monday

Paper

From Clarity to Efficiency for Distributed Algorithms

Response

Nov 21 Wednesday

Paper

PSYNC: A partially synchronous language for fault-tolerant distributed algorithms

Response

Nov 26 Monday

Paper

P: safe asynchronous event-driven programming

Response

Nov 28 Wednesday

Paper

Orleans: Cloud Computing for Everyone

Response

Nov 30 Friday

Paper

Naiad: A Timely Dataflow System

Response

Dec 3 Monday

Paper

Modular Software Upgrades for Distributed Systems

Response

Dec 5 Wednesday

Paper

Rehearsal: A Configuration Verification Tool for Puppet

Response

Dec 7 Friday

Paper

Abstractions for Network Update

Response