diff --git a/artificial_intelligence/README.md b/artificial_intelligence/README.md
index 6db7fe6..3d7a2f7 100644
--- a/artificial_intelligence/README.md
+++ b/artificial_intelligence/README.md
@@ -7,4 +7,6 @@
 * [Computing Machinery and Intelligence](http://www.csee.umbc.edu/courses/471/papers/turing.pdf) by A.M. Turing
 
 * [Judea Pearl](http://bayes.cs.ucla.edu/jp_home.html) folder - Papers by Judea Pearl, 2011 winner of the ACM Turing Award.
-   * [:open_file_folder: Summary of Papers](judea_pearl/)
\ No newline at end of file
+   * [:open_file_folder: Summary of Papers](judea_pearl/)
+
+* [Mastering the Game of Go with Deep Neural Networks and Tree Search](http://airesearch.com/wp-content/uploads/2016/01/deepmind-mastering-go.pdf) by Silver et al.
diff --git a/concurrency/README.md b/concurrency/README.md
index bbd9cbf..a4e589d 100644
--- a/concurrency/README.md
+++ b/concurrency/README.md
@@ -13,3 +13,5 @@
 * [The Semantics of x86-CC Multiprocessor Machine Code](http://www.cl.cam.ac.uk/~pes20/weakmemory/popl09.pdf)
 
     *Note: This contribution here is the focus on the rigorous semantics for x86 multiprocessor programs and an axiomatic definition of the memory model. Their definitions and proofs are backed by the [HOL](http://en.wikipedia.org/wiki/HOL_(proof_assistant))(Higher Order Logic) proof assistant.*
+
+* :scroll: [Experience with Processes and Monitors in Mesa](https://people.eecs.berkeley.edu/~brewer/cs262/Mesa.pdf)
diff --git a/concurrency/experience-withprocesses-and-monitors-in-mesa.pdf b/concurrency/experience-withprocesses-and-monitors-in-mesa.pdf
new file mode 100644
index 0000000..79a34c3
Binary files /dev/null and b/concurrency/experience-withprocesses-and-monitors-in-mesa.pdf differ
diff --git a/distributed_systems/README.md b/distributed_systems/README.md
index a9c5ed9..e7c8f38 100644
--- a/distributed_systems/README.md
+++ b/distributed_systems/README.md
@@ -4,6 +4,7 @@
 * Topics
   * [Datastores](#datastores)
   * [Physics](#physics)
+  * [Testing, Verification, and Correctness](#testing-verification-and-correctness)
 
 
 ## External Papers
@@ -226,7 +227,6 @@ Unconditional Sender and Recipient Untraceability](the-dining-cryptographers-pro
 
 * [Towards a Next Generation Data Center Architecture: Scalability and Commoditization](http://research.microsoft.com/pubs/79348/presto27-greenberg.pdf)
 
-
 * :scroll: [Bigtable: A Distributed Storage System for Structured Data](../datastores/bigtable-a-distributed-storage-system-for-structured-data.pdf)
 
 * :scroll: [Database Metatheory: Asking Big Queries](../datastores/database-metatheory--asking-the-big-queries.pdf)
@@ -251,11 +251,18 @@ Unconditional Sender and Recipient Untraceability](the-dining-cryptographers-pro
 
 * :scroll: [Warp: Multi-Key Transactions for Key-Value Stores](../datastores/warp-multi-key-transactions-for-key-value-stores.pdf)
 
-
 ### Physics
 
 * :scroll: [“On the Electrodynamics of Moving Bodies” (1905) — Einstein](../physics/on-the-electrodynamics-of-moving-bodies.pdf)
 
     By solving the [asymmetries](http://en.wikipedia.org/wiki/Moving_magnet_and_conductor_problem) that arise in Maxwell’s equations, Einstein’s 1905 paper set the stage for current distributed systems work by demonstrating that there is no absolute frame of reference and by providing an upper bound on the speed of communication.
+    
+### <a name="testing-verification-and-correctness"></a>Testing, Verification, and Correctness
+
+* :scroll: [Simple Testing Can Prevent Most Critical Failures:
+An Analysis of Production Failures in Distributed
+Data-Intensive Systems](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf)
+
+* :scroll: [IronFleet: Proving Practical Distributed Systems Correct](http://research.microsoft.com/pubs/255833/IronFleet-twocol.pdf)
 
 
diff --git a/distributed_systems/ironFleet-proving-practical-distributed-systems-correct.pdf b/distributed_systems/ironFleet-proving-practical-distributed-systems-correct.pdf
new file mode 100644
index 0000000..b2ea41c
Binary files /dev/null and b/distributed_systems/ironFleet-proving-practical-distributed-systems-correct.pdf differ
diff --git a/distributed_systems/simple-testing-can-prevent-most-critical-failures.pdf b/distributed_systems/simple-testing-can-prevent-most-critical-failures.pdf
new file mode 100644
index 0000000..d082aeb
Binary files /dev/null and b/distributed_systems/simple-testing-can-prevent-most-critical-failures.pdf differ