Google Research

Verifying Cloud Services: Present and Future

  • Sara Bouchenak
  • Gregory Chockler
  • Hana Chockler
  • Gabriela Gheorghe
  • Nuno Santos
  • Alexander Shraer
Operating Systems Review (2013)


As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guar- antees. In this paper we survey existing work in these ar- eas and identify gaps in existing cloud technology in terms of the veri cation tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work