I am a Senior Researcher at the High-Assurance Software Laboratory, a research center of INESC TEC and University of Minho, and an Associate Professor at the Department of Informatics of University of Minho.

My work focuses on dependable distributed systems. I am interested mainly in data management, including storage systems, replication and transactions, polyglot systems and polystores (see CloudMdsQL and TiQuE), and in group communication, including consensus and gossip-based protocols for large-scale systems (see HyParView and PlumTree). I am also interested in tools for testing, evaluating, and monitoring distributed systems.

News

• 01/11/2024 Our paper “CRDV: Conflict-free Replicated Data Views” has been been accepted at ACM SIGMOD’2025.
• Fall/2024 Visiting the Carnegie Mellon Database Group with the CMU-PT Visiting Faculty and Researchers Program.
• 18/07/2024 Our paper “When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection” has been accepted at VLDB’2024.
• 14/06/2024 Invited talk at SiMoD Workshop (with SIGMOD/PODS 2024).
• 05/06/2024 Our paper “Databases in Edge and Fog Environments : A Survey” has been accepted at ACM CSUR.
• 22/02/2024 Our team got the second place in the 4th edition of the IN3+ Award.

Old news.

Selected publications

• N. Faria, J. Pereira, A. Alonso, R. Vilaça, Y. Koning, and N. Nes. TiQuE: Improving the transactional performance of analytical systems for true hybrid workloads. Proc. VLDB Endow., 16(9), May 2023. (doi:10.14778/3598581.3598598)
• N. Faria and J. Pereira. MRVs: Enforcing numeric invariants in parallel updates to hotspots with randomized splitting. Proc. ACM Manag. Data (SIGMOD), 1(1), 2023. (doi:10.1145/3588723)
• R. Macedo, Y. Tanimura, J. Haga, V. Chidambaram, J. Pereira, and J. Paulo. PAIO: General, portable I/O optimizations with minor application modifications. In 20th USENIX Conference on File and Storage Technologies (FAST 22), pages 413–428, Santa Clara, CA, February 2022. USENIX Association.
• F. Neves, N. Machado, R. Vilaça, and J. Pereira. Horus: Non-intrusive causal analysis of distributed systems logs. In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 212–223, 2021. (doi:10.1109/DSN48987.2021.00035)
• R. Macedo, J. Paulo, J. Pereira, and A. Bessani. A survey and classification of software-defined storage systems. ACM Computing Surveys, 2020. (doi:10.1145/3385896)
• B. Kolev, P. Valduriez, C. Bondiombouy, R. Jiménez-Peris, R. Pau, and J. Pereira. CloudMdsQL: querying heterogeneous cloud data stores with a common language. Springer Distributed and Parallel Databases, pages 1–41, 2016. (doi:10.1007/s10619-015-7185-y)
• J. Leitão, J. Pereira, and L. Rodrigues. Epidemic broadcast trees. In IEEE International Symposium On Reliable Distributed Systems, pages 301–310. IEEE Computer Society, 2007. (doi:10.1109/SRDS.2007.27)
• J. Leitão, J. Pereira, and L. Rodrigues. HyParView: A membership protocol for reliable gossip-based broadcast. In IEEE/IFIP International Conference on Dependable Systems and Networks, pages 419–428. IEEE Computer Society, 2007. (doi:10.1109/DSN.2007.56)

All publications.

Recent projects

• CYBERACTIONING: Training Cybersecurity Skills through Advanced Higher Education Joint Programmes
• EUMaster4HPC: European Master For High Performance Computing
• AIDA: Adaptive, Intelligent and Distributed Assurance Platform

All projects.

Teaching

• Distributed Systems (BSc): An introductory course on concurrent programming and distributed systems.
• Large Scale Distributed Systems (MSc): An advanced course on distributed systems, with emphasis on large scale data replication and weak consistency.
• Distributed Systems Paradigms (MSc): An advanced course on concurrent and distributed programming, with emphasis on server scalability.
• Database Administration (MSc): An advanced course on database systems technology, with an bottom-up approach (storage, transactions, query processing and optimization) and an emphasis on system operation.

Recent service

• ICDCS 2025: 45th IEEE International Conference on Distributed Computing Systems (PC member)
• DSN 2025: 55th IEEE/IFIP International Conf. on Dependable Systems and Networks (PC member)
• INFORUM 2024: INFORUM - Simpósio de Informática - CPDLA (PC member)
• ISSRE 2024: 35th International Symp. on Software Reliability Engineering (PC member)
• EuroDW 2024: EuroSys Doctoral Workshop 2024 (PC member)
• ISSRE 2023: 34th International Symp. on Software Reliability Engineering (PC member)

All past service.