Static serializability analysis for causal consistency.

Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev

Browse the full PLDI paper archive.