publications

2025

1. Smt.ml

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

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

   2025

   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 Maksimovi\'{c}, Petar and Santos, Nuno and Santos, Jos{\'e} Fragoso},
     year = {2025},
   }

2024

1. 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},
   }