Verifying distributed programs via canonical sequentialization

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala. Verifying distributed programs via canonical sequentialization. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

Abstract

Abstract is missing.