Three Papers Accepted at SEFM 2025

The Software Reliability Lab has three papers accepted at SEFM 2025!

The Software Reliability Lab has three papers accepted at the 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025), to be held in Toledo, Spain, from November 10 to 14, 2025.

The three accepted papers are:

1. Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
   Authors: Valentina Wu, Alexandra Mendes, and Alexandre Abreu

2. Can Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
   Authors: Carolina Carreira, Álvaro Silva, Alexandre Abreu, and Alexandra Mendes

3. Are Users More Willing to Use Formally Verified Password Managers?
   Authors: Carolina Carreira, João Ferreira, Alexandra Mendes, and Nicolas Christin

All papers available here: Software Reliability Lab Publications.

Congratulations to all the authors!

Update (After Event)

Here are some photos of Carolina Carreira and Alexandre Abreu at SEFM, who presented our work at the conference.