For our October social, the Software Reliability Lab visited Portugal’s historic S164 NRP Barracuda submarine, now a museum ship.
Alexandra Mendes was invited to participate in the Dagstuhl Seminar 25392 on Specification Engineering: Foundations for the Future of Software Development.
The Software Reliability Lab has three papers accepted at SEFM 2025!
Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!
Congratulations to Nuno Saavedra and João F. Ferreira for winning an ACM SIGSOFT Distinguished Paper Award at ICSE 2025 for their paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification”.
