Consistency à la carte: A general-purpose framework for scalable mixed-consistency applications

De Porre, Kevin (Mandate)
Gonzalez Boix, Elisa (Administrative Promotor)

Informatics and Applied Informatics

1 Conference paper
1 Meeting abstract (Journal)

2 results

2023
VeriFx: Correct Replicated Data Types for the Masses
De Porre, K., Ferreira, C. & Gonzalez Boix, E., 2023, VeriFx: Correct Replicated Data Types for the Masses. Salvaneschi, G. & Ali, K. (eds.). 37th ed. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. p. 1-45 45 p. 9. (European Conference on Object-Oriented Programming (ECOOP 2023)).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Open Access
1 Citation (Scopus)
2021
ECROs: building global scale systems from sequential code
De Porre, K., Ferreira, C., Preguiça, N. & Gonzalez Boix, E., 15 Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, p. 1-30 30 p., 107.
Research output: Contribution to journal › Meeting abstract (Journal)

Open Access
10 Citations (Scopus)