diff --git a/caching/README.md b/caching/README.md
index f56f0fe..3567f3c 100644
--- a/caching/README.md
+++ b/caching/README.md
@@ -3,3 +3,5 @@
 * [:scroll:](a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf) [An O(1) algorithm for implementing the LFU cache eviction scheme](https://github.com/papers-we-love/papers-we-love/blob/master/caching/a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf) by Prof. Ketan Shah, Anirban Mitra, Dhruv Matani
 
 * [:scroll:](2q-a-low-overhead-high-performance-buffer-management-replacement-algorithm.pdf) [2Q: A Low Overhead High Performance Buffer Management Replacement Algorithm](http://www.vldb.org/conf/1994/P439.PDF) by Theodore Johnson and Dennis Shasha
+
+* [:scroll:](a-program-optimization-for-automatic-database-result-caching.pdf)[A Program Optimization for Automatic Database Result Caching](http://adam.chlipala.net/papers/SqlcachePOPL17/SqlcachePOPL17.pdf) by Ziv Scully and Adam Chlipala
diff --git a/caching/a-program-optimization-for-automatic-database-result-caching.pdf b/caching/a-program-optimization-for-automatic-database-result-caching.pdf
new file mode 100644
index 0000000..b04ee4e
Binary files /dev/null and b/caching/a-program-optimization-for-automatic-database-result-caching.pdf differ