This is a repository for my research, paper reading summaries/reviews, and relevant blog-like posts in markdown.
This section organizes all of the readings by date so that there is a straightforward way to look up content chronologically.
Date | Day | Reading | Review or Presentation |
---|---|---|---|
Oct 01 | Mon | Brewer’s Conjecture | review |
Oct 03 | Wed | CAP 12 years later | presentation |
Oct 05 | Fri | Linearizability | review |
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
Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases
Discretized Streams: Fault-Tolerant Streaming Computation at Scale
Predicting Multiple Metrics for Queries: Better Decisions Enabled by Machine Learning
The Case for Learned Index Structures
Cicada: Dependably Fast Multi-Core In-Memory Transactions
Eliminating Unscalable Communication in Transaction Processing
An Evaluation of Distributed Concurrency Control
Optimizing Space Amplification in RocksDB
GraphX: Graph Processing in a Distributed Dataflow Framework
Scalable Atomic Visibility with RAMP Transactions
Data Curation at Scale: The Data Tamer System
Data provenance to audit compliance with privacy policy in the Internet of Things
NoDB: efficient query execution on raw data files
The Myria Big Data Management and Analytics System and Cloud Service
The Case For Heterogeneous HTAP
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