Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Em termos de temas de investigação principais destaca-se a gestão de dados em modelos de coerência fraca, mecanismos de agregação de dados e causalidade em sistemas distribuídos. No últimos anos, e em colaboração outros investigadores, têm sido desenvolvidos mecanismos de sumarização de dados como os Scalable Bloom Filters, registo de causalidade em ambientes dinâmicos com Interval Tree Clocks e Dotted Version Vectors, bem como abordagens robustas para o suporte à alta disponibilidade com coerência fraca via Conflict-Free Replicated Data Types. Alguns destes mecanismos têm sido aplicados na base de dados distribuída Riak e no Akka distributed data, estando estes mesmos em uso em diversas aplicações finais com milhões de utilizadores a nível global.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Carlos Baquero
  • Cluster

    Informática
  • Cargo

    Responsável de Área
  • Desde

    01 novembro 2011
003
Publicações

2022

Picking Publication Targets

Autores
Baquero, C;

Publicação
COMMUNICATIONS OF THE ACM

Abstract

2022

The dynamics of remembering and forgetting

Autores
Baquero, C; Cabecinhas, R;

Publicação
COMMUNICATIONS OF THE ACM

Abstract

2021

The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing

Autores
Baquero, C; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;

Publicação
FRONTIERS IN COMPUTER SCIENCE

Abstract
CoronaSurveys is an ongoing interdisciplinary project developing a system to infer the incidence of COVID-19 around the world using anonymous open surveys. The surveys have been translated into 60 languages and are continuously collecting participant responses from any country in the world. The responses collected are pre-processed, organized, and stored in a version-controlled repository, which is publicly available to the scientific community. In addition, the CoronaSurveys team has devised several estimates computed on the basis of survey responses and other data, and makes them available on the project's website in the form of tables, as well as interactive plots and maps. In this paper, we describe the computational system developed for the CoronaSurveys project. The system includes multiple components and processes, including the web survey, the mobile apps, the cleaning and aggregation process of the survey responses, the process of storage and publication of the data, the processing of the data and the computation of estimates, and the visualization of the results. In this paper we describe the system architecture and the major challenges we faced in designing and deploying it.

2021

Efficient replication via timestamp stability

Autores
Enes, V; Baquero, C; Gotsman, A; Sutra, P;

Publicação
PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21)

Abstract
Modern web applications replicate their data across the globe and require strong consistency guarantees for their most critical data. These guarantees are usually provided via state-machine replication (SMR). Recent advances in SMR have focused on leaderless protocols, which improve the availability and performance of traditional Paxos-based solutions. We propose Tempo - a leaderless SMR protocol that, in comparison to prior solutions, achieves superior throughput and offers predictable performance even in contended workloads. To achieve these benefits, Tempo timestamps each application command and executes it only after the timestamp becomes stable, i.e., all commands with a lower timestamp are known. Both the timestamping and stability detection mechanisms are fully decentralized, thus obviating the need for a leader replica. Our protocol furthermore generalizes to partial replication settings, enabling scalability in highly parallel workloads. We evaluate the protocol in both real and simulated geo-distributed environments and demonstrate that it outperforms state-of-the-art alternatives. © 2021 ACM.

2021

Seeking Out Camille, and Being Open to Others

Autores
Hill, RK; Baquero, C;

Publicação
COMMUNICATIONS OF THE ACM

Abstract
Robin K. Hill on overcoming biases against alternative views, and Carlos Baquero on his search for the elusive Camille Nous.

Teses
supervisionadas

2021

Bloom filters for stream windows

Autor
Ana Catarina Gomes Rodrigues

Instituição
UM

2021

Modeling a Decentralized Market-Based Scheme for Responsive Demands

Autor
Tiago de Sousa Garcia

Instituição
UP-FEUP

2021

Probabilistic Data Types

Autor
Pedro Henrique Moreira Gomes Fernandes

Instituição
UM

2021

Test Case Mutations to Improve Tests Quality

Autor
Carolina Vasconcelos Castro Azevedo

Instituição
UP-FEUP

2021

Coordination Protocols over Remote Direct Memory Access

Autor
Vítor Manuel Enes Duarte

Instituição
UM