June 2022 Our paper SconeKV: a Scalable, Strongly Consistent Key-Value Store has been accepted at TPDS.
June 2022 Our paper Securing Cross-Chain Asset Transfers on Permissioned Blockchains has been accepted at BlockTEE.
January 2022 Our FCT project Ainur about evaluating crash-consistency guarantees in PM applications just started. Webpage will be ready soon.
October 2021 Our paper Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. has been accepted at SOSP 2021.
September 2021 Our paper Consensusless cryptocurrencies in Ethereum got the best paper award at INForum 2021! Congratulations to Paulo and João.
June 2021 Our FCT project Ainur about evaluating crash-consistency guarantees in PM applications got accepted for funding. It is scheduled to start in early 2022.
June 2020 Our paper FaultSee: Reproducible Fault Injection in Distributed Systems got accepted at EDCC’20.
March 2020 Our paper Exploiting Symbolic Execution to Accelerate Deterministic Databases got accepted at ICDCS’20.
May 2020 Our paper Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum got accepted at DSN’20.
March 2020 Our paper Kollaps: Decentralized and Dynamic Topology Emulation got accepted at EuroSys’20.
June 2019 Our paper THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems got accepted at SRDS’19.
July 2018 - I 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.
June 2018 - The Angainor project officially started.