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)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)