- Scalability! But at what COST?
- Tachyon: Reliable, Memory Speed Storage for Cluster Computing
- Musketeer - Part I: What's the best data processing system?
- Musketeer - Part II: all for one, and one for all in data processing systems
- ApproxHadoop: Bringing Approximations to MapReduce Frameworks
- Experience with Rules-Based Programming for Distributed Concurrent Fault-Tolerant Code (cut from final talk in order to keep within time)
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
- Building on Quicksand (cut from final talk in order to keep within time)
- Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation
- IronFleet: Proving Practical Distributed Systems Correct (cut from final talk in order to keep within time)
- The Art of Testing Less without Sacrificing Quality
- Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures
- Holistic Configuration Management at Facebook
- Machine Learning: The High-Interest Credit Card of Technical Debt
- Ad Click Prediction: A View from the Trenches
- All Change Please
- The RAMCloud Storage System
- Implementing Linearizability at Large Scale and Low Latency
- Life Beyond Distributed Transactions: An Apostate's Opinion
- No Compromises: Distributed Transactions with Consistency, Availability, and Performance
- Fast In-memory Transaction Processing using RDMA and HTM
- From ARIES to MARS: Transaction Support for Next-Generation Solid-State Drives
- Blurred Persistence: Efficient Transactions in Persistent Memory