How Amazon web services uses formal methods. - Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff (Commun. ACM, 2015)

Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service. - Mostafa Elhemali; Niall Gallagher; Nick Gordon; Joseph Idziorek; Richard Krog; Colin Lazier; Erben Mo; Akhilesh Mritunjai; Somasundaram Perianayagam; Tim Rath; Swami Sivasubramanian; James Christopher Sorenson III; et al. (USENIX ATC, 2022)