I am a Research Coordinator at the High-Assurance Software Laboratory, a research center of INESC TEC and University of Minho, and a 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

• 12/10/2026 Our paper “The Glorious Dead” has been accepted at the CIDR 2027.
• 05/10/2026 Our paper “A Tale of Scale: Enabling Scalable and Holistic Storage QoS for Exascale HPC Systems” has been accepted at the Middleware 2026.
• 15/09/2026 Our paper “Reasoning about Transactional Isolation Levels with Isolde” has been accepted at VLDB.
• 01/06/2026 Our paper “Towards Abstractions for Composable Transactional Isolation” has been accepted at the CDMS workshop with VLDB 2026.
• 01/06/2026 We are presenting a tutorial on CRDTs and Databases at VLDB 2026.
• 31/03/2026 The artifact for the CRDVs paper has received an Honorable Mention at ACM SIGMOD.

Old news.

Selected publications

• N. Faria and J. Pereira. CRDV: Conflict-free replicated data views. Proc. ACM Manag. Data (SIGMOD), 3(1), 2025. (Honorable Mention) (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.

Current projects

• ADAPQO: Adaptive Query Optimization Architectures to Support Heterogeneous Data Intensive Applications
• PETALL: Privacy and Transparency for All

More 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, including topics on cloud computing and security.
• Large Scale Distributed Systems (MSc): An advanced course on distributed systems, with emphasis on large scale data replication and weak consistency.

Recent service

• EuroSys 2027: European Conf. on Computer Systems (PC member)
• SIGMOD 2027: ACM SIGMOD International Conf. on Management of Data (PC member)
• PaPoC 2026: 13th Workshop on Principles and Practice of Consistency for Distributed Data - with EuroSys (PC Co-Chair)
• SC 2026: International Conference for High Performance Computing, Networking, Storage, and Analysis (Workshops and Symposiums Committee Member)
• ICDCS 2026: 46th IEEE International Conf. on Distributed Computing Systems (PC member)
• 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)

All past service.