João Madeira Pereira

Welcome to my webpage! My name is João Madeira Pereira. I am a Ph.D Student in Computer Science at Instituto Superior Técnico (IST) and Carnegie Mellon University (CMU), enrolled through the CMU Portugal Dual Degree Ph.D Program. I’m coadvised by Professors José Fragoso Santos, Limin Jia, and Pedro Adão.

My research focuses on software security, program analysis, and programming languages, with a particular interest in building tools and techniques that help make software systems more secure and reliable.

selected publications

Smt.ml

Smt. ml: A Multi-Backend Frontend for SMT Solvers in OCaml

João Madeira Pereira, Filipe Marques, Pedro Adão, and 6 more authors

2024

Bib PDF

@article{pereira2024smt,
  title = {Smt. ml: A Multi-Backend Frontend for SMT Solvers in OCaml},
  author = {Pereira, Jo{\~a}o Madeira and Marques, Filipe and Ad{\~a}o, Pedro and Ait El Hara, Hichem Rami and Andr{\`e}s, L{\'e}o and Carcano, Arthur and Chambart, Pierre and Santos, Nuno and Santos, Jos{\'e} Fragoso},
  year = {2024},
}

MSc

A Multi-Backend Frontend for SMT Solvers in OCaml

João Madeira Pereira

Instituto Superior Técnico, 2024

Bib PDF

@mastersthesis{pereira_msc_2024,
  author = {Pereira, Jo{\~a}o Madeira},
  title = {A Multi-Backend Frontend for SMT Solvers in OCaml},
  school = {Instituto Superior T\'{e}cnico},
  year = {2024},
}