Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
FWOSB66: Consistency à la carte: A general-purpose framework for scalable mixed-consistency applications
De Porre, K. (Mandate) & Gonzalez Boix, E. (Administrative Promotor)
1/01/19 → 31/12/22
Project: Fundamental
-
Concurrency Contracts for Designing Highly Available Replicated Data Types
De Porre, K., Ferreira, C. & Gonzalez Boix, E., May 2025, In: Software: Practice and Experience. 55, 9, p. 1489-1505 17 p.Research output: Contribution to journal › Meeting abstract (Journal)
Open Access -
Towards improved collaborative text editing CRDTs by using Natural Language Processing
Bauwens, J., De Porre, K. & Gonzalez Boix, E., 8 May 2023, PaPoC '23: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data. 10th ed. Rome, Italy: ACM, Vol. Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data. p. 51-55 5 p. 8. (PaPoC 2023 - Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, Part of: EuroSys 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile153 Downloads (Pure) -
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 Access7 Citations (Scopus) -
When sequential code meets replicated data: programming language support to simplify the development of correct replicated data types
De Porre, K., 2022, 293 p.Research output: Thesis › PhD Thesis
Open AccessFile422 Downloads (Pure) -
ECROs: building global scale systems from sequential code
De Porre, K., Ferreira, C., Preguiça, N. & Gonzalez Boix, E., 15 Oct 2021, Proceedings of the ACM on Programming Languages. OOPSLA ed. ACM, Vol. 5. p. 1-30 30 p. 107. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access15 Citations (Scopus)
Activities
- 2 Research and Teaching at External Organisation
-
Visit to the NOVA LINCS research lab
De Porre, K. (Participant), Gonzalez Boix, E. (Participant), Bauwens, J. (Participant), Ferreira, C. (Participant) & Preguiça, N. (Participant)
21 Mar 2022 → 22 Mar 2022Activity: Other › Research and Teaching at External Organisation
-
Visit to the NOVA LINCS research lab
De Porre, K. (Participant), Gonzalez Boix, E. (Participant) & Ferreira, C. (Participant)
2 Sept 2019 → 6 Sept 2019Activity: Other › Research and Teaching at External Organisation