Angainor Publications
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP). Ray Neiheiser, Miguel Matos and Luís Rodrigues. Paper. Author’s copy. Short presentation video. Long presentation video.
ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases In Proceegings of the 17th European Dependable Computing Conference (EDCC). David Ferreira, João Paulo and Miguel Matos. Paper. Author’s copy.
Kollaps: decentralized and dynamic topology emulation In Proceedings of the EuroSys, 2020. Paulo Gouveia, João Neves, Carlos Segarra, Luca Liechti, Shady Issa, Valerio Schiavoni, Miguel Matos. Paper. Author’s copy. Presentation Video. Tutorial video @ DISCOTEC’21. Playlist with related videos.
Exploiting Symbolic Execution to Accelerate Deterministic Databases In International Conference on Distributed Computing Systems (ICDCS) 2020. Shady Issa, Paolo Romano, Miguel Matos, Miguel Viegas, Pedro Raminhas, Nuno Machado Paper. Author’s copy.
Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2020. Paulo Silva, David Vavricka, João Barreto, Miguel Matos Paper. Author’s copy.
FaultSee: Reproducible Fault Injection in Distributed Systems In 16th European Dependable Computing Conference (EDCC). Miguel Amaral and Miguel L. Pardal and Hugues Mercier, Miguel Matos Paper. Author’s copy.
Invited Talk: Hang to the helm and sail through a thunderstorm: Challenges in reproducible evaluation of large-scale distributed systems. Miguel Matos. November 2019. Experimental reproducibility for computer scientists organized by CUSO - Confférence Universitaire de Suisse Occidentale Slides
This talk highlights the main challenges in reproducing experimental results and the ongoing solutions being proposed in the scope of the project.Paper: THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems. Luca Liechti, Paulo Gouveia, João Neves Peter Kropf, Miguel Matos, Valerio Schiavoni. October 2019. In International Symposium on Reliable Distributed Systems (SRDS), 2019. Paper
This paper introduces the mechanisms to provide dynamic emulation of arbitrary network topologies.Master thesis: Container Network Topology Modelling. João Neves. Instituto Superior Técnico, Universidade de Lisboa. November 2018.
This thesis is the first step towards modeling and emulating the network in a scalable and reproducible way.Paper: Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud. P. Joaquim, M. Bravo, L. Rodrigues and M. Matos. In Eurosys, 2019. March 2019. Paper
This paper address the problem of graph processing in the dynamic environemnts subject to faults. It serves as a potential use case by studying the dynamic behavior of cloud applications over a long period of time.Paper: Adaptive information dissemination in the Bitcoin network. J. Marçal, L. Rodrigues and M. Matos. In Proceedings of the 34th ACM Symposium on Applied Computing - Dependable, Adaptive, and Trustworthy Distributed Systems track. April 2019. Paper
This paper proposes an improvemnt to the dissemination protocol of Bitcoin. It serves as a potential use case by studying the Bitcoin workload and dynamics.Keynote: Towards Reproducible Evaluation of Large-Scale Distributed Systems. Miguel Matos. July 2018. ApPLIED Workshop - Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems held in conjunction with PODC-2018. Paper Slides
This paper describes the general scope of the project.Paper (in Portuguese): Técnicas para Redução da Carga na Rede no Livro-Razão da Bitcoin. J. Marçal, M. Matos and L. Rodrigues. Actas do décimo Simpósio de Informática (INForum). September 2018. Paper
This paper proposes an improvemnt to the dissemination protocol of Bitcoin. It serves as a potential use case by studying the Bitcoin workload and dynamics. It is a preliminary version of the paper _Adaptive information dissemination in the Bitcoin network.Paper (in Portuguese): Etherspace: uma abordagem Proof-of-Space na blockchain Ethereum Diogo Castilho, Paulo Silva, João Barreto and Miguel Matos. Actas do décimo primeiro Simpósio de Informática (INForum). September 2019. Paper
This paper proposes an improvement to the dissemination protocol of Bitcoin. It serves as a potential use case by studying the Bitcoin workload and dynamics. It is a preliminary version of the paper _Adaptive information dissemination in the Bitcoin network.Master thesis: Adaptive Information Dissemination in the Bitcoin Network. J. Marçal. Instituto Superior Técnico, Universidade de Lisboa. Outubro 2018.
This thesis proposes an improvemnt to the dissemination protocol of Bitcoin. It serves as a potential use case by studying the Bitcoin workload and dynamics. It encompasses the results published in the two Bitcoin papers above.Master thesis: Behavior characterization in cryptocurrency networks. D. Vavricka. Instituto Superior Técnico, Universidade de Lisboa. Maio 2019.
This thesis studies the several aspects of the Ethereum network. It serves as a potential use case for the platform.