Accompanying repository for the QCon SF 2015 Day 1 Keynote. Feel free to open any issues for questions and/or to say hi :)

See the image credits, link to slides, and video-soon. Experience the moment too!

Surprisingly enough academic papers can be interesting and very relevant to the work we do as computer science practitioners. Papers come in many kinds/ areas of focus and sometimes finding the right one can be difficult. But when you do, it can radically change your perspective and introduce you to new ideas.

Distributed Systems has been an active area of research since the 1960s, and many of the problems we face today in our industry have already had solutions proposed, and have inspired new research. Join us for a guided tour of papers from past and present research that have reshaped the way we think about building large scale distributed systems.

• About Us
• Hard topics of Distributed Systems
  • Eventual Consistency
  • System Verification
• Conclusions

• Detection of Mutual Inconsistency in Distributed Systems
• Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System
• Brewer's conjecture & the feasibility of consistent, available, partition-tolerant web
• CAP Twelve Years Later: How the "Rules" Have Changed
• Conflict-free Replicated Data Types
• A Comprehensive study of Convergent and Commutative Replicated Data Types
• Readings in Conflict Free Replicated Data Types
• Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity
• The Morning Paper: Feral Concurrency Control
• Peter Bailis - Papers We Love: Managing Update Conflicts in Bayou, A Weakly Connected Replicated Storage System

• The Specification Language TLA+
• Use of Formal Methods at Amazon Web Services
• Simple testing can prevent most critical failures
• Lineage Driven Fault Injection
• IronFleet: Proving Practical Distributed Systems Correct
• Recognizing safety and liveness
• Wikipedia Liveness and Safety
• The Temporal Logic of Actions
• TLA+ homepage
• Raft and TLA+
• Raft TLA+ spec
• TLA tools
• Ironfleet - Github
• The Morning Paper - IronFleet
• Peter Alvaro - Outwards from the Middle of the Maze
• The Morning Paper - Lineage Driven Fault Injection
• Testing in a Distributed World
• The Verification of a Distributed System by Caitie McCaffrey

• Papers We Love San Francisco
• Papers We Love organization site
• Papers We Love Github
• Adrian Colyer's The Morning Paper
• Henry Robinson's The Paper Trail
• Peter Bailis's Blog

Ines Sombra is a Distributed Systems Engineer at @Fastly, where she spends her time helping the Web go faster. Ines holds an M.S. in Computology with an emphasis on Cheesy 80’s Rock Ballads. She has a fondness for steak, fernet, and a pug named Gordo. In a previous life she was a Data Engineer. Follow Ines @randommood

Caitie McCaffrey is a Backend Brat and Distributed Systems Diva. She is currently the Tech Lead of Observability at Twitter. Prior to that she spent the majority of her career building services and systems that power the entertainment industry at 343 Industries, Microsoft Game Studios, and HBO. Caitie has a degree in Computer Science from Cornell University, and has worked on several video games including Gears of War 2, Gears of War 3, Halo 4, and Halo 5. She maintains a blog at CaitieM.com and frequently discusses technology and entertainment on Twitter @Caitie