@InProceedings{BrutschyDimitrovMuellerVechev18, author = {L. Brutschy and D. Dimitrov and P. M\"uller and M. Vechev}, title = {Static Serializability Analysis for Causal Consistency}, booktitle = {Programming Language Design and Implementation (PLDI)}, year = {2018}, pages = {90--104}, editor = {J. S. Foster and D. Grossman}, publisher = {ACM}, url = {https://dl.acm.org/citation.cfm?id=3192415}, urltext = {[Publisher]} }