Publications

2021

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.

2020

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.

2019

THUNDERSTORM: a tool to evaluate dynamic network topologies on distributed systems In International Symposium on Reliable Distributed Systems (SRDS), 2019. Luca Liechti, Paulo Gouveia, João Neves Peter Kropf, Miguel Matos, Valerio Schiavoni. Paper. Author’s copy.

Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud In Proceedings of the EuroSys, 2019. Pedro Joaquim, Manuel Bravo, Luís Rodrigues and Miguel Matos. Paper. Author’s copy.

Adaptive information dissemination in the Bitcoin network In Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), 2019. João Marçal, Luís Rodrigues and Miguel Matos. Paper. Author’s copy.

2018

Totally Ordered Replication for Massive Scale Key-Value Stores In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2018. José Ribeiro, Nuno Machado, Francisco Maia and Miguel Matos. Paper. Author’s copy.

2017

A practical framework for privacy-preserving NoSQL databases. In 36rd IEEE International Symposium on Reliable Distributed Systems (SRDS), 2017. Ricardo Macedo, João Paulo, Rogério Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos and Rui Oliveira. Paper. Author’s copy.

Optimal address-oblivious epidemic dissemination (Brief Announcement). In 36th ACM Symposium on Principles of Distributed Computing (PODC), 2017. Hugues Mercier, Laurent Hayez and Miguel Matos. Paper. Author’s copy.

Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions (Best Paper Award). In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2017. Fábio Coelho, Miguel Matos, José Pereira and Rui Oliveira. Paper. Author’s copy.

Performance trade-offs on a secure multi-party relational database. In Proceedings of the Symposium on Applied Computing (SAC), 2017. Rogério Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos and Rui Oliveira Paper. Author’s copy.

Safethings: data security by design in the world of IoT (short paper). In 13th European Dependable Computing Conference (EDCC), 2017. Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Valerio Schiavoni, Etienne Rivière and Spyros Voulgaris. Author’s copy.

Implementing a Linear Algebra Approach to Data Processing In Grand Timely Topics in Software Engineering (GTTSE), 2017. Rogério Pontes, Miguel Matos, José Nuno Oliveira and José Orlando Pereira. Paper. Author’s copy.

2016

Towards quantifiable eventual consistency. In Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER) 2016. Francisco Maia, Miguel Matos and Fábio Coelho. Author’s copy.

BuzzPSS: A dependable and adaptive peer sampling service. In 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016 Nuno Machado, Francisco Maia, Miguel Matos and Rui Oliveira. Paper. Author’s copy.

Resource Usage Prediction in Distributed Key-Value Datastores In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2016. Francisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, João Paulo, José Pereira and Ricardo Vilaça. Paper. Author’s copy.

2015

Practical Evaluation of Large Scale Applications In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2015. Tiago Jorge, Francisco Maia, Miguel Matos, José Pereira and Rui Oliveira. Paper. Author’s copy.

Topico: Detecting most frequent items from multiple high-rate event streams. In Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems (DEBS), 2015 Valerio Schiavoni, Etienne Rivière, Pierre Sutra, Pascal Felber, Miguel Matos and Rui Oliveira. Paper. Author’s copy.

EpTO: An epidemic total order algorithm for large-scale distributed systems. In Proceedings of the 16th Annual Middleware Conference (Middleware), 2015. Miguel Matos, Hugues Mercier, Pascal Felber, Rui Oliveira and José Pereira. Paper. Author’s copy.

2014

Dataflasks: epidemic store for massive scale systems. In 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS), 2014. Francisco Maia, Miguel Matos, Ricardo Vilaça, José Pereira, Rui Oliveira and Etienne Rivière Paper. Author’s copy.

On the support of versioning in distributed key-value stores. In 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS), 2014. Pascal Felber, Marcelo Pasin, Etienne Rivière, Valerio Schiavoni, Pierre Sutra, Fábio Coelho, Miguel Matos, Rui Oliveira and Ricardo Vilaça. Paper. Author’s copy.

Laystream: composing standard gossip protocols for live video streaming. In 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014. Miguel Matos, Valerio Schiavoni, Rivière, Pascal Felber and Rui Oliveira. Paper. Author’s copy.

A peer-to-peer service architecture for the smart grid (short paper). In 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014. Filipe Campos, Miguel Matos, José Pereira and David Rua. Paper. Author’s copy.

Coordenação de serviços web heterogéneos com tolerância a faltas. Filipe Campos, Miguel Matos and José Pereira. In INForum, Simpósio de Informática, 2014. Author’s copy.

2013

Epidemic Algorithms for Large Scale Data Dissemination. PhD thesis, Universidade do Minho, 2013. Miguel Matos.

Dataflasks: an epidemic dependable key-value substrate. In International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV), collocated with DSN, 2013. Francisco Maia, Miguel Matos, Ricardo Vilaça, José Pereira, Rui Oliveira and Etienne Rivière. Paper. Author’s copy.

Evaluating cassandra as a manager of large file sets. In Workshop on Cloud and Data Platforms (CloudDP), collocated with Eurosys, 2013. Leander Beernaert, Pedro Gomes, Miguel Matos, Ricardo Vilaça and Rui Oliveira. Paper. Author’s copy.

Met: Workload aware elasticity for NoSQL. In Eurosys, 2013. Francisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, João Paulo, José Pereira and Ricardo Vilaça. Paper. Author’s copy.

Slicing as a distributed systems primitive. In Latin-American Symposium on Dependable Computing (LADC), 2013. Francisco Maia, Miguel Matos, Etienne Rivière and Rui Oliveira. Paper. Author’s copy.

Lightweight, efficient, robust epidemic dissemination. In Journal of Parallel and Distributed Computing (JPDC), 2013. Miguel Matos, Valerio Schiavoni, Pascal Felber, Rui Oliveira and Etienne Rivière. Paper. Author’s copy.

Scaling up publish/subscribe overlays using interest correlation for link sharing. In IEEE Transactions on Parallel and Distributed Systems (TPDS), 2013. Miguel Matos, Pascal Felber, Rui Oliveira, José Pereira and Etienne Rivière. Paper. Author’s copy.

2012

Automatic elasticity in OpenStack. In Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM), collocated with Middleware, 2012. Leander Beernaert, Miguel Matos, Ricardo Vilaça and Rui Oliveira. Paper. Author’s copy.

Slead: Low-memory, steady distributed systems slicing. In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2012. Francisco Maia, Miguel Matos, Etienne Rivière and Rui Oliveira. Paper. Author’s copy.

Brisa: Combining efficiency and reliability in epidemic data dissemination (Best Paper Award). In IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2012. Miguel Matos, Valerio Schiavoni, Pascal Felber, Rui Oliveira and Etienne Rivière. Paper. Author’s copy.

2011

Worldwide consensus (Best Paper Award). In International Conference on Distributed Applications and Interoperable Systems (DAIS), 2011. Francisco Maia, Miguel Matos, José Pereira and Rui Oliveira. Paper. Author’s copy.

An epidemic approach to dependable key-value substrates. In International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV), collocated with DSN, 2011. Miguel Matos, Ricardo Vilaça, José Pereira and Rui Oliveira. Paper. Author’s copy.

2010

Stan: Exploiting shared interests without disclosing them in gossip-based publish/subscribe. In 9th International Workshop on Peer-to-Peer Systems (IPTPS), 2010. Miguel Matos, Ana Nunes, Rui Oliveira and José Pereira. Author’s copy.

2009

Clon: Overlay networks and gossip protocols for cloud environments. In Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE, On the Move to Meaningful Internet Systems (OTM), 2009. Miguel Matos, António Sousa, José Pereira, Rui Oliveira, Eric Deliot and Paul Murray. Paper. Author’s copy.

Capi: Cloud computing API (short paper). In INForum, Simpósio de Informática, 2009. Bruno Costa, Miguel Matos and Antóno Sousa. Author’s copy.

A distributed bootstrapping protocol for overlay networks. In INForum, Simpósio de Informática, 2009. Miguel Matos, António Sousa, José Pereira and Rui Oliveira. Author’s copy.

Network-aware epidemic broadcast. Master thesis, Universidade do Minho, 2009.

Clon: overlay network for clouds. In Proceedings of the Third Workshop on Dependable Distributed Data Management (WDDM), collocated with Eurosys, 2009 Miguel Matos, António Sousa, José Pereira and Rui Oliveira. Paper. Author’s copy.

2008

Dependable distributed OSGI environment. In Proceedings of the 3rd workshop on Middleware for service oriented computing (MW4SOC), collocated with Middleware, 2008. Miguel Matos and António Sousa. Paper. Author’s copy.

Self tuning with self confidence. In Fast Abstract, Supplement of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2008. Miguel Matos, José Pereira and Rui Oliveira. Author’s copy.

Serpentine: adaptive middleware for complex heterogeneous distributed systems. In Proceedings of the 2008 ACM symposium on Applied Computing (SAC), 2008. Miguel Matos, Alfranio Correia, José Pereira and Rui Oliveira. Paper. Author’s copy.