An auditing language for preventing correlated failures in the cloud

Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang. An auditing language for preventing correlated failures in the cloud. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.