Kevin De Porre

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Natural Language Processing

Microsoft Sql Server

Top Venues

Proc. ACM Program. Lang.

Publications

Jim Bauwens, Kevin De Porre, Elisa Gonzalez Boix
[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing. PaPoC@EuroSys (2023)
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses. ECOOP (2023)
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses. CoRR (2022)
Kevin De Porre, Carla Ferreira, Nuno M. Preguiça, Elisa Gonzalez Boix
ECROs: building global scale systems from sequential code. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kevin De Porre, Florian Myter, Christophe Scholliers, Elisa Gonzalez Boix
CScript: A distributed programming language for building mixed-consistency applications. J. Parallel Distributed Comput. 144 (2020)
Kevin De Porre, Elisa Gonzalez Boix
Squirrel: an extensible distributed key-value store. META@SPLASH (2019)
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix
A Generic Replicated Data Type for Strong Eventual Consistency. PaPoC@EuroSys (2019)
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix
Putting Order in Strong Eventual Consistency. DAIS (2019)