I am a Research Coordinator 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 distributed databases and storage systems. I am interested mainly in replication and transactions in HTAP and polyglot systems (see CRDVs and TiQuE), and in distributed agreement, 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 (see Horus and LazyFS).

News

• 29/09/2025 We are organizing SRDS’2025 in Oporto!
• 08/09/2025 Talking at the Third ACM Europe Summer School on Distributed and Replicated Environments (DARE 2025).
• Fall/2025 We are starting the Master in Advanced Computing and the Master in Cybersecurity degrees at U. Minho.
• 13/06/2025 ADAPQO has been selected for funding by the CMU Portugal 2024 Call for Exploratory Projects.
• Spring/2025 Visiting the Chair for Decentralized Information Systems and Data Management in Munich.
• 23/04/2025 Our paper “CRDV: Conflict-free Replicated Data Views” has received an Honorable Mention at ACM SIGMOD’2025.
• 15/04/2025 Our paper “Rethinking BFT: Leveraging Diverse Software Components with LLMs” has been been accepted at DSN Disrupt 2025.
• Fall/2024 Visiting the Carnegie Mellon Database Group with the CMU-PT Visiting Faculty and Researchers Program.

Old news.

Selected publications

• N. Faria and J. Pereira. CRDV: Conflict-free replicated data views. Proc. ACM Manag. Data (SIGMOD), 3(1), 2025. (doi:10.1145/3709675)
• M. Ramos, J. Azevedo., K. Kingsbury, J. Pereira, T. Esteves, R. Macedo, and J. Paulo. When amnesia strikes: Understanding and reproducing data loss bugs with fault injection. Proc. VLDB Endow., 17, 2024. (doi:10.14778/3681954.3681980)
• 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)
• 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)
• 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

• ADAPQO: Adaptive Query Optimization Architectures to Support Heterogeneous Data Intensive Applications
• PETALL: Privacy and Transparency for All
• 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.
• Database Administration (MSc): An advanced course on database systems technology, with a bottom-up approach (storage, transactions, query processing and optimization) and an emphasis on system operation.
• Distributed Data Processing Environments (BSc): An introductory course on distributed tools and environments for data processing, with emphasis on cloud computing and security.
• Distributed Systems Paradigms (MSc): An advanced course on concurrent and distributed programming, with emphasis on server scalability.
• Large Scale Distributed Systems (MSc): An advanced course on distributed systems, with emphasis on large scale data replication and weak consistency.

Recent service

• DSN 2026: 56th IEEE/IFIP International Conf. on Dependable Systems and Networks (PC Member and Publicity Co-Chair)
• Middleware 2026: 27th ACM/IFIP International Middleware Conference (PC member)
• SIGMOD 2026: ACM SIGMOD International Conf. on Management of Data (PC member)
• SRDS 2025: 44th International Symp. on Reliable Distributed Systems (General Co-Chair)
• ISSRE 2025: 36th International Symp. on Software Reliability Engineering (PC member)
• ICDCS 2025: 45th IEEE International Conf. on Distributed Computing Systems (PC member)
• DSN 2025: 55th IEEE/IFIP International Conf. on Dependable Systems and Networks (PC member)

All past service.