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
Publicações

Publicações por HASLab

2020

State-Machine Replication for Planet-Scale Systems

Autores
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

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

Abstract
Online applications now routinely replicate their data at multiple sites around the world. In this paper we present ATLAS, the first state-machine replication protocol tailored for such planet-scale systems. ATLAS does not rely on a distinguished leader, so clients enjoy the same quality of service independently of their geographical locations. Furthermore, clientperceived latency improves as we add sites closer to clients. To achieve this, ATLAS minimizes the size of its quorums using an observation that concurrent data center failures are rare. It also processes a high percentage of accesses in a single round trip, even when these conflict. We experimentally demonstrate that ATLAS consistently outperforms state-of-the-art protocols in planet-scale scenarios. In particular, ATLAS is up to two times faster than Flexible Paxos with identical failure assumptions, and more than doubles the performance of Egalitarian Paxos in the YCSB benchmark.

2020

Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain

Autores
Baquero, C; Casari, P; Anta, AF; Frey, D; Garcia-Agundez, A; Georgiou, C; Menezes, R; Nicolaou, N; Ojo, O; Patras, P;

Publicação

Abstract
AbstractThe world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. The different national governments have problems evaluating the reach of the epidemic, having limited resources and tests at their disposal. Hence, any means to evaluate the number of persons with symptoms compatible with COVID-19 with reasonable level of accuracy is useful. In this paper we present the initial results of the @CoronaSurveys project. The objective of this project is the collection and publication of data concerning the number of people that show symptoms compatible with COVID-19 in different countries using open anonymous surveys. While this data may be biased, we conjecture that it is still useful to estimate the number of infected persons with the COVID-19 virus at a given point in time in these countries, and the evolution of this number over time. We show here the initial results of the @CoronaSurveys project in Spain and Portugal.

2020

Causality is Graphically Simple

Autores
Baquero, C;

Publicação
CoRR

Abstract

2020

CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics

Autores
Ojo, O; Agundez, AG; Girault, B; Hernández, H; Cabana, E; García, AG; Arabshahi, P; Baquero, C; Casari, P; Ferreira, EJ; Frey, D; Georgiou, C; Goessens, M; Ishchenko, A; Jiménez, E; Kebkal, O; Lillo, RE; Menezes, R; Nicolaou, N; Ortega, A; Patras, P; Roberts, JC; Stavrakis, E; Tanaka, Y; Anta, AF;

Publicação
CoRR

Abstract

2020

Age-Partitioned Bloom Filters

Autores
Shtul, A; Baquero, C; Almeida, PS;

Publicação
CoRR

Abstract

2020

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Autores
Pereira, R; Carçao, T; Couto, M; Cunha, J; Fernandes, JP; Saraiva, J;

Publicação
JOURNAL OF SYSTEMS AND SOFTWARE

Abstract
Although hardware is generally seen as the main culprit for a computer's energy usage, software too has a tremendous impact on the energy spent. Unfortunately, there is still not enough support for software developers so they can make their code more energy-aware. This paper proposes a technique to detect energy inefficient fragments in the source code of a software system. Test cases are executed to obtain energy consumption measurements, and a statistical method, based on spectrum-based fault localization, is introduced to relate energy consumption to the source code. The result of our technique is an energy ranking of source code fragments pointing developers to possible energy leaks in their code. This technique was implemented in the SPELL toolkit. Finally, in order to evaluate our technique, we conducted an empirical study where we asked participants to optimize the energy efficiency of a software system using our tool, while also having two other groups using no tool assistance and a profiler, respectively. We showed statistical evidence that developers using our technique were able to improve the energy efficiency by 43% on average, and even out performing a profiler for energy optimization.

  • 74
  • 260