Artigo do INESC TEC aceite para publicação numa conferência IEEE

O artigo intitulado “Efficient Synchronization of State-based CRDTs”, da autoria de Vítor Enes, Paulo Sérgio Almeida e Carlos Baquero, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com João Leitão, investigador do NOVA LINCS, foi aceite para publicação na 35ª edição da IEEE International Conference on Data Engineering (ICDE 2019).

O artigo resulta de uma tese de Mestrado sobre Tipos de Dados Replicados Livres de Conflitos (Conflict-Free Replicated Data Types - CRDT), que tinha sido desenvolvida anteriormente no HASLab. Os CRDTs são componentes-chave nos sistemas modernos geo-replicados, tais como o Riak, Redis e Microsoft Azure Cosmos DB, e que têm sido adotados por muitas empresas, tais como a Bet365, SoundCloud e PayPal. O artigo faz progressos na teoria dos CRDTs ao trazer o conceito de decomposições de reticulados (por Birkhoff em 1937) para os CRDTs baseados em estados. Este conceito é posteriormente explorado para obter estados delta otimizados e para melhorar a eficiência da sincronização de algoritmos.

É importante realçar que a ICDE é uma conferência líder na área das aplicações de uso intensivo de dados, tendo recebido uma classificação de A* (a classificação mais alta) pelo ranking australiano CORE. A edição de 2019 será realizada em Macau entre 8 e 12 de abril.

Os investigadores do INESC TEC mencionados na notícia têm vínculo à UMinho e ao INESC TEC.