add a bunch of papers and talks

databases.md

@@ -24,7 +24,6 @@
 - [ ] 📄 [ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications](http://www.bailis.org/papers/acidrain-sigmod2017.pdf) (P Bailis, T Warszawski 2017)
 - [ ] 📄 [An Empirical Evaluation of In-Memory Multi-Version Concurrency Control](https://yingjunwu.github.io/papers/vldb2017.pdf) (Y Wu et al 2017)
 - [ ] 📄 [Building Consistent Transactions with Inconsistent Replication](http://delivery.acm.org/10.1145/2820000/2815404/p263-zhang.pdf) (I Zhang et al 2015)
-- [ ] 📄 [Calvin: Fast Distributed Transactions for Partitioned Database Systems](http://cs.yale.edu/homes/thomson/publications/calvin-sigmod12.pdf) (DJ Abadi et al 2012) _"The Calvin paper"_
 - [ ] 📄 [Consistency in Non-Transactional Distributed Storage Systems](https://arxiv.org/pdf/1512.00168.pdf) (P Viotti, M Vukolić 2016)
 - [ ] 📄 [Highly Available Transactions: Virtues and Limitations](http://www.vldb.org/pvldb/vol7/p181-bailis.pdf) (P Bailis, JM Hellerstein et al 2013)
 - [ ] 📄 [Lazy State Determination: More concurrency for contending linearizable transactions](https://arxiv.org/pdf/2007.09733.pdf) (TM Vale et al 2020)
@@ -44,10 +43,13 @@
 - [ ] 📄 [Compilation in the Microsoft SQL Server Hekaton Engine](https://15721.courses.cs.cmu.edu/spring2016/papers/freedman-ieee2014.pdf) (C Freedman, E Ismert, PA Larson 2014)
 - [ ] 📄 [Don’t Hold My Data Hostage – A Case For Client Protocol Redesign](http://www.vldb.org/pvldb/vol10/p1022-muehleisen.pdf) (M Raasweldt, H Mühleisen 2017)
 - [ ] 📄 [Efficiently Compiling Efficient Query Plans for Modern Hardware](https://www.vldb.org/pvldb/vol4/p539-neumann.pdf) (T Neumann 2011)
+- [ ] 📄 [Efficient Implementation of Sorting on Multi-Core SIMD CPU Architecture](https://pdfs.semanticscholar.org/ecdb/cdfc09f2e9905286e0f1ca2c3517012de57f.pdf) (J Chhugani, W Macy, A Baransi 2008)
 - [ ] 📄 [Generating Code for Holistic Query Evaluation](https://w6113.github.io/files/papers/krikellas-icde2010.pdf) (K Krikellas, SD Viglas, M Cintra 2010)
 - [ ] 📄 [How to Architect a Query Compiler, Revisited](https://www.cs.purdue.edu/homes/rompf/papers/tahboub-sigmod18.pdf) (RY Tahboub, GM Essertel, T Rompf 2018)
 - [ ] 📄 [Micro Adaptivity in Vectorwise](https://15721.courses.cs.cmu.edu/spring2020/papers/14-compilation/p1231-raducanu.pdf) (B Raducanu, P Boncz, M Zukowski 2013)
+- [ ] 📄 [Modelling Costs for a MM-DBMS](http://gram.eng.uci.edu/faculty/klin/rtdb/LM.ps) (S Listgarten, MA Neimat 1996)
 - [ ] 📄 [Optimization of Queries with User-Defined Predicates](http://www.vldb.org/conf/1996/P087.PDF) (S Chaudhur, K Shim 1999)
+- [ ] 📄 [Sort vs. Hash Revisited: Fast Join Implementation on Modern Multi-Core CPUs](https://15721.courses.cs.cmu.edu/spring2018/papers/20-sortmergejoins/kim-vldb2009.pdf) (C Kim, E Sedlar, J Chhugani 2009)
 - [ ] 📄 [The Cascades Framework for Query Optimization](https://www.cse.iitb.ac.in/infolab/Data/Courses/CS632/Papers/Cascades-graefe.pdf) (G Graefe 1995)
 
 ## Storage
@@ -57,30 +59,39 @@
 - [ ] 📄 [bLSM: A General Purpose Log Structured Merge Tree](http://www.eecs.harvard.edu/~margo/cs165/papers/gp-lsm.pdf) (R Sears, R Ramakrishnan 2012)
 - [ ] 📄 [Building a Bw-Tree Takes More Than Just Buzz Words](http://www.cs.cmu.edu/~huanche1/publications/open_bwtree.pdf) (Z Wang et al 2018)
 - [ ] 📄 [Constant Time Recovery in Azure SQL Database](https://www.microsoft.com/en-us/research/uploads/prod/2019/06/p700-antonopoulos.pdf) (P Antonopoulos et al 2019)
+- [ ] 📄 [Enabling Efficient OS Paging for Main-Memory OLTP Databases](https://15721.courses.cs.cmu.edu/spring2016/papers/a7-stoica.pdf) (R Stoica, A Ailamaki 2013)
 - [ ] 📄 [Jungle: Towards Dynamically Adjustable Key-Value Store by Combining LSM-Tree and Copy-On-Write B+-Tree](https://greensky00.github.io/pdf/jungle_hotstorage19.pdf) (JS Ahn et al 2019)
+- [ ] 📄 [Larger-than-Memory Data Management on Modern Storage Hardware for In-Memory OLTP Database Systems](https://www.cc.gatech.edu/~jarulraj/papers/2016.caching.damon.pdf) (L Ma et al 2016)
 - [ ] 📄 [The Bw-Tree: A B-tree for New Hardware Platforms](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/bw-tree-icde2013-final.pdf) (JJ Levandoski, DB Lomet, S Sengupta 2013)
 - [ ] 📄 [The Log-Structured Merge Tree](https://www.cs.umb.edu/~poneil/lsmtree.pdf) (P O'Neil, E Cheng, D Gawklik, E O'Neil 1996)
 - [x] 📄 [The Ubiquitous B-Tree](http://cgi.di.uoa.gr/~ad/M149/ubiquitous_btree.pdf) (D Comer 1979)
 - [ ] 📄 [WiscKey: Separating Keys from Values in SSD-Conscious Storage](https://www.usenix.org/system/files/conference/fast16/fast16-papers-lu.pdf) (L Lu, TS Pillai, AC Arpaci-Dusseau, RH Arpaci-Dusseau 2016)
 
 ## Verification
 
+- [x] 🎥 [Black-box Isolation Checking with Elle](https://www.youtube.com/watch?v=OPJ_IcdSqig) (K Kingdbury 2020)
 - [x] 🎥 [SQLancer: Finding Logic Bugs in Database Management Systems](https://www.youtube.com/watch?v=Np46NQ6lqP8) (M Rigger 2020)
 - [ ] 📄 [Torturing Databases for Fun and Profit](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-zheng_mai.pdf) (M Zheng et al 2014)
 
 ## Vendors
 
+### Calvin
+
+- [ ] 📄 [**Calvin: Fast Distributed Transactions for Partitioned Database Systems**](http://cs.yale.edu/homes/thomson/publications/calvin-sigmod12.pdf) (DJ Abadi et al 2012) _"The Calvin paper"_
+- [x] 💬 [Spanner vs. Calvin: Distributed Consistency at Scale](https://fauna.com/blog/distributed-consistency-at-scale-spanner-vs-calvin) (DJ Abadi 2017)
+
 ### CockroachDB
 
 - [x] 🔗 [**Architecture Overview**](https://www.cockroachlabs.com/docs/stable/architecture/overview.html)
 - [x] 📄 [**CockroachDB: The Resilient Geo-Distributed SQL Database**](https://dl.acm.org/doi/pdf/10.1145/3318464.3386134) (R Taft et al 2020)
 - [x] 💬 [**Serializable, Lockless, Distributed: Isolation in CockroachDB**](https://www.cockroachlabs.com/blog/serializable-lockless-distributed-isolation-cockroachdb/) (M Tracy 2016)
+- [ ] 🎥 [CockroachDB: The Resilient, Geo-distributed Database](https://www.youtube.com/watch?v=ivVFAd9erfo) (R Taft 2020)
 - [x] 💬 [How We Built a Cost-Based SQL Optimizer](https://www.cockroachlabs.com/blog/building-cost-based-sql-optimizer/) (A Kimball 2018)
 - [x] 💬 [Living Without Atomic Clocks](https://www.cockroachlabs.com/blog/living-without-atomic-clocks/) (S Kimball 2016)
 
 ### FaunaDB
 
-- [x] 💬 [Spanner vs. Calvin: Distributed Consistency at Scale](https://fauna.com/blog/distributed-consistency-at-scale-spanner-vs-calvin) (DJ Abadi 2017)
+- [x] 📄 [**FaunaDB: An Architectural Overview**](https://fauna-assets.s3.amazonaws.com/public/FaunaDB-Technical-Whitepaper.pdf) (M Freels 2018)
 - [x] 💬 [Time-Traveling Databases: Exploring Temporality in FaunaDB](https://fauna.com/blog/time-traveling-databases) (M Freels 2016)
 - [x] 💬 [Unifying Relational, Document, Graph, and Temporal Data Models](https://fauna.com/blog/unifying-relational-document-graph-and-temporal-data-models) (C Anderson 2018)
 
@@ -91,6 +102,7 @@
 ### Google F1
 
 - [ ] 📄 [**F1: A Distributed SQL Database That Scales**](https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/41344.pdf) _"The F1 paper"_
+- [x] 📄 [**Online, Asynchronous Schema Change in F1**](https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/41376.pdf) (I Rae et al 2013)
 
 ### Google Spanner
 
@@ -104,3 +116,7 @@
 - [x] 💬 [How Postgres Makes Transactions Atomic](https://brandur.org/postgres-atomicity) (B Leach 2017)
 - [ ] 📄 [Serializable Snapshot Isolation in PostgreSQL](https://drkp.net/papers/ssi-vldb12.pdf) (DRK Ports, K Grittner 2012)
 - [ ] 📖 [The Internals of PostgreSQL](http://www.interdb.jp/pg/) (H Suzuki 2015)
+
+### YugabyteDB
+
+- [ ] 🎥 [YugabyteDB: Bringing Together the Best of Amazon Aurora and Google Spanner](https://www.youtube.com/watch?v=DAFQcYXK2-o) (K Ranganathan 2020)

languages-and-compilers.md

@@ -13,3 +13,8 @@
 - [x] 📖 [**Writing An Interpreter In Go**](https://interpreterbook.com) (T Ball 2016)
 - [ ] 📖 [Language Implementation Patterns](https://pragprog.com/book/tpdsl/language-implementation-patterns) (T Parr 2014)
 - [x] 💬 [Parsing Expressions by Precedence Climbing](https://eli.thegreenplace.net/2012/08/02/parsing-expressions-by-precedence-climbing) (E Bendersky 2012)
+
+### Regular Expressions
+
+- [ ] 🛠 [Let's Build a Regex Engine](https://kean.blog/post/lets-build-regex) (A Grebenyuk 2019)
+- [ ] 📄 [Regular Expression Matching Can Be Simple And Fast](https://swtch.com/~rsc/regexp/regexp1.html) (R Cox 2007)