A few billion lines of code later: using static analysis to find bugs in the real world. - Al Bessey; Ken Block; Benjamin Chelf; Andy Chou; Bryan Fulton; Seth Hallem; Charles-Henri Gros; Asya Kamsky; Scott McPeak; Dawson R. Engler (Commun. ACM, 2010)

Implementation of Cluster-wide Logical Clock and Causal Consistency in MongoDB. - Misha Tyulenev; Andy Schwerin; Asya Kamsky; Randolph Tan; Alyson Cabral; Jack Mulrow (SIGMOD Conference, 2019)

Adapting TPC-C Benchmark to Measure Performance of Multi-Document Transactions in MongoDB. - Asya Kamsky (Proc. VLDB Endow., 2019)