A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, and M. Shapiro, Cause I'M Strong Enough: Reasoning About Consistency Choices in Distributed Systems, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St, pp.371-384, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243192

M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, and M. Shapiro, The CISE tool, Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC '16, pp.1-2, 2016.
DOI : 10.1145/2517349.2522731
URL : https://hal.archives-ouvertes.fr/hal-01350636

M. Najafzadeh, The Analysis and Co-design of Weakly-Consistent Applications " . Theses, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01425989

G. Marcelino, V. Balegas, and C. Ferreira, Bringing Hybrid Consistency Closer to Programmers, Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data , PaPoC'17, pp.1-6, 2017.
DOI : 10.1145/3064889.3064896

. Boogie, url: https://github.com/boogie-org/boogie, 2017.

S. Sreeja and . Nair, Evaluation of the CEC (Correct Eventual Consistency) Tool. Research Report RR-9111. Inria Paris ; LIP6 UMR 7606, 2017.