Research-Papers
Back
1950-Computing-Machinery-and-Intelligence.md
1978-Time,-Clocks,-and-the-Ordering-of-Events-in-a-Distributed-System.md
1979-Access-Path-Selection.md
1981-Optimistic-Methods-for-Concurrency-Control.md
1988-Viewstamps.md
1990-The-Part-Time-Parliament.md
1992-Aries.md
1995 Concurrency.md
1996-Byzantine-Quorum-Systems.md
1998-Gradient-Based-Learning-Applied-to-Document-Recognition.md
1998-Pagerank.md
1999-Introduction-to-Boosting.md
2002-Machine-Learning-in-Automated-Text-Categorization.md
2004-Agile-Development-Method-in-Use.md
2004-MapReduce.md
2004-TextRank-Bringing-Order-Into-Text.md
2007-Dynamo-Amazon.md
2007-Paxos-Made-Live.md
2012-Resilient-Distributed-Datasets.md
2012-The-Chaos-Within-Sudoku.md
2013-Dynamic-Compiler-Optimization-on-Scala.md
2013-Efficient-Estimation-of-Word-Representations-in-Vector-Space.md
2014-Quantifying-Eventual-Consistency-with-PBS.md
2014-unlocking-the-potential-of-smartphone-unlocking.md
2015-A-Few-Useful-Things-to-Know-about-Machine-Learning.md
2015-Borg.md
2015-Corralling-Crowd-Power.md
2015-End-to-End-Memory-Networks.md
2015-Implementing-Linearizability-at-Large-Scale-and-Low-Latency.md
2015-Memory-Networks.md
2016-Learning-to-learn-to-gradient-descent-by-gradient-descent.md
2017-Formal-Verification-in-Distributed-Systems.md
2017-Overcoming-catastrophic-forgetting-in-neural-networks.md
2017-Serverless-computing.md
2017-TensorFlow-Based-Production-Scale-Machine-Learning-Platform.md
2017-The-first-collision-for-full-SHA-1.md
2018-Formal-Reasoning-Security-AWS.md
2018-Lessons-From-Building-Static-Analysis-Tools.md
2018-Performance-analysis-of-cloud-applications.md
Communicating-Sequential-Processes.md
Mature-Optimization-Handbook.md
TODO-1970-ISWIM.md
TODO-1990-Linearizability.md
TODO-2006-Bigtable-Distributed-Storage-System-for-Structured-Data.md
TODO-2012-Spanner-Googles-Distributed-Database.md
TODO-2013-Bolt-on-Causal-Consistency.md
TODO-Functional-Programming.md
TODO-Learned-Data-Structures.md