An auditing language for preventing correlated failures in the cloud. - Ennan Zhai; Ruzica Piskac; Ronghui Gu; Xun Lao; Xi Wang (Proc. ACM Program. Lang., 2017)