Reproducing experimental results is a core tenet of the scientific method. Unfortunately, the increasing complexity of the system we build, deploy and evaluate makes it difficult to reproduce results and hence is one of the greatest impairments for the progress of science in general and distributed systems in particular.

The complexity stems not only from the increasing complexity of the systems under study, but also from the inherent complexity of capturing and controlling all variables that can potentially affect experimental results.

We argue that this can only be addressed with a systematic approach to all the stages of the evaluation process. Angainor is a step in this direction.

Our goal is to address the following challenges: i) precisely describe the environment and variables affecting the experiment, ii) minimize the number of (uncontrollable) variables affecting the experiment and iii) have the ability to subject the system under evaluation to controlled fault patterns.


  • October 2021 Our paper Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation got accepted at SOSP’21. Check here for more details.

  • September 2021 Our paper ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases got accepted at EDCC’2021. Check here for more details.

  • June 2020 Our paper FaultSee: Reproducible Fault Injection in Distributed Systems got accepted at EDCC’20. Check here for more details.

  • March 2020 Our paper Exploiting Symbolic Execution to Accelerate Deterministic Databases got accepted at ICDCS’20. Check here for more details.

  • May 2020 Our paper Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum got accepted at DSN’20. Check here for more details.

  • March 2020 Our paper Kollaps: Decentralized and Dynamic Topology Emulation” got accepted at Eurosys’20. Check here for more details.

  • November 07th 2019 Miguel Matos will be an invited talk at Experimental reproducibility for computer scientists organized by CUSO - Conference Universitaire de Suisse Occidentale Slides

  • October 2019 Open PhD position check here for more details.

  • June 2019 Our paper THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems got accepted at SRDS’19. Check here for more details.

  • November 05th 2017 Open Postdoc position check here for more details.

  • July 27th 2018 - Miguel Matos will be giving a keynote at the ApPLIED Workshop - Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems held in conjunction with PODC-2018 Paper Slides

  • June 1st 2018 - The Angainor project officially started. Check the Team and Funding below for more details.


  • Miguel Matos - Principal Investigator - INESC-ID
  • Miguel Correia - Co-PI Principal Investigator - INESC-ID
  • Luís Rodrigues - INESC-ID
  • Paolo Romano - INESC-ID
  • Miguel Pardal- INESC-ID
  • Shady Issa - Post Doc researcher - INESC-ID
  • Valerio Schiavoni - Université de Neuchâtel
  • Sebastião Amaro - Master student - INESC-ID
  • Daniel Castro - Master student - INESC-ID
  • Carlos Segarra - Master student - Université de Neuchâtel
  • Miguel Amaral - Master student - INESC-ID
  • Paulo Gouveia - Master student - INESC-ID
  • João Neves - Master student - INESC-ID - now at VORTAL
  • Luca Liechti - Université de Neuchâtel - now at Netcetera


This project is supported by Fundo Europeu de Desenvolvimento Regional (FEDER) through Programa Operacional Regional de Lisboa and by Fundação para a Ciência e Tecnologia (FCT) through projects with reference UID/CEC/50021/2013 and LISBOA-01-0145-FEDER-031456.