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]

Authors

Ennan Zhai

This author has not been identified. Look up 'Ennan Zhai' in Google

Ruzica Piskac

This author has not been identified. Look up 'Ruzica Piskac' in Google

Ronghui Gu

This author has not been identified. Look up 'Ronghui Gu' in Google

Xun Lao

This author has not been identified. Look up 'Xun Lao' in Google

Xi Wang

This author has not been identified. Look up 'Xi Wang' in Google