Kevin De Porre

According to our database, Kevin De Porre authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

VeriFx: Correct Replicated Data Types for the Masses (Artifact).

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix

Dagstuhl Artifacts Ser., 2023

[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing.

Jim Bauwens, Kevin De Porre, Elisa Gonzalez Boix

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

VeriFx: Correct Replicated Data Types for the Masses.

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

ECROs: building global scale systems from sequential code.

Kevin De Porre, Carla Ferreira, Nuno M. Preguiça, Elisa Gonzalez Boix

Proc. ACM Program. Lang., 2021

2020

CScript: A distributed programming language for building mixed-consistency applications.

Kevin De Porre, Florian Myter, Christophe Scholliers, Elisa Gonzalez Boix

J. Parallel Distributed Comput., 2020

2019

Squirrel: an extensible distributed key-value store.

Kevin De Porre, Elisa Gonzalez Boix

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

A Generic Replicated Data Type for Strong Eventual Consistency.

Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

Putting Order in Strong Eventual Consistency.

Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix

Proceedings of the Distributed Applications and Interoperable Systems, 2019

2018

AmbientJS - A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications.

Elisa Gonzalez Boix, Kevin De Porre, Wolfgang De Meuter, Christophe Scholliers

Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018