FormaliSE 2024
Leveraging Large Language Models to Boost Dafny's Developers Productivity
Álvaro Silva, Alexandra Mendes, and João F. Ferreira
SEFM 2025
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, Alexandre Abreu, and Alexandra Mendes
Under review 2025
Inferring Multiple Helper Dafny Assertions with LLMs
Álvaro Silva, Alexandra Mendes, and Ruben Martins
Master's thesis
Using Dimensional Aware Genetic Programming to find interpretable Dispatching Rules for the Job Shop Scheduling Problem
Faculty of Engineering of the University of Porto, 2021