按技术分类

存储

• Dynamo: Amazon’s Highly Available Key-value Store
  

• Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [SOSP 2021]

• Delos: Simple, flexible storage for the Facebook control plane [官方博客]

• Virtual Consensus in Delos [OSDI 2020]

计算

调度

数据仓库

• The Snowflake Elastic Data Warehouse
  

按企业分类

Snowflake

• The Snowflake Elastic Data Warehouse
  

Amazon

• Dynamo: Amazon’s Highly Available Key-value Store [SOSP 2007]

• Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [SOSP 2021]

Microsoft

Google

Facebook

• Delos: Simple, flexible storage for the Facebook control plane [官方博客]

• Virtual Consensus in Delos [OSDI 2020]