ECROs: building global scale systems from sequential code K De Porre, C Ferreira, N Preguiça, E Gonzalez Boix Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 27 | 2021 |
Putting order in strong eventual consistency K De Porre, F Myter, C De Troyer, C Scholliers, W De Meuter, ... Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 …, 2019 | 17 | 2019 |
CScript: A distributed programming language for building mixed-consistency applications K De Porre, F Myter, C Scholliers, EG Boix Journal of Parallel and Distributed Computing 144, 109-123, 2020 | 14 | 2020 |
VeriFx: Correct replicated data types for the masses K De Porre, C Ferreira, EG Boix arXiv preprint arXiv:2207.02502, 2022 | 8 | 2022 |
A generic replicated data type for strong eventual consistency K De Porre, F Myter, C De Troyer, C Scholliers, W De Meuter, EG Boix Proceedings of the 6th Workshop on Principles and Practice of Consistency …, 2019 | 4 | 2019 |
Squirrel: an extensible distributed key-value store K De Porre, E Gonzalez Boix Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019 | 2 | 2019 |
CScript: A Distributed Programming Language for Available and Consistent Sharing of Objects K De Porre Master's thesis. Vrije Universiteit Brussel, Belgium, 2018 | 1 | 2018 |
[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing J Bauwens, K De Porre, E Gonzalez Boix Proceedings of the 10th Workshop on Principles and Practice of Consistency …, 2023 | | 2023 |
37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
VeriFx: Correct Replicated Data Types for the Masses (Artifact) K De Porre, C Ferreira, E Gonzalez Boix Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023 | | 2023 |
When Sequential Code Meets Replicated Data K De Porre Vrije Universiteit Brussel, 2022 | | 2022 |
When sequential code meets replicated data: programming language support to simplify the development of correct replicated data types K De Porre | | 2022 |
AmbientJS: A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications E Gonzalez Boix, K De Porre, W De Meuter, C Scholliers Programming with Actors: State-of-the-Art and Research Perspectives, 32-58, 2018 | | 2018 |
A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications EG Boix, K De Porre, W De Meuter, C Scholliers | | |