Associate Professor at University of Minho and Research Coordinator at INESCTEC

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

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

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

  • 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)
  • 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.