Projects per year
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. & Gonzalez Boix, E.
1/01/19 → 31/12/22
Project: Fundamental
Research output
-
VeriFx: Correct Replicated Data Types for the Masses
De Porre, K., Ferreira, C. & Gonzalez Boix, E., 2023, (Accepted/In press) VeriFx: Correct Replicated Data Types for the Masses.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
-
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 AccessFile77 Downloads (Pure) -
ECROs: building global scale systems from sequential code
De Porre, K., Ferreira, C. & 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 › Research
Open Access6 Citations (Scopus) -
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 Access6 Citations (Scopus) -
CScript: A Distributed Programming Language for Building Mixed-Consistency Applications
De Porre, K., Myter, F., Scholliers, C. & Gonzalez Boix, E., Oct 2020, In: Journal of Parallel and Distributed Computing. 144, p. 109-123 15 p.Research output: Contribution to journal › Special issue › peer-review
Open AccessFile4 Citations (Scopus)8 Downloads (Pure)
Activities
- 2 Research and Teaching at External Organisation
-
Visit to the NOVA LINCS research lab
Kevin De Porre (Participant), Elisa Gonzalez Boix (Participant), Jim Bauwens (Participant), Carla Ferreira (Participant) & Nuno Preguiça (Participant)
21 Mar 2022 → 22 Mar 2022Activity: Other › Research and Teaching at External Organisation
-
Visit to the NOVA LINCS research lab
Kevin De Porre (Participant), Elisa Gonzalez Boix (Participant) & Carla Ferreira (Participant)
2 Sep 2019 → 6 Sep 2019Activity: Other › Research and Teaching at External Organisation