Latest News

Two Amazon Research Awards on Automated Reasoning!

Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!

Jun 3, 2025 1 min read

Two Amazon Research Awards on Automated Reasoning!

Two new research papers to be presented at ISSTA 2025 and ECOOP 2025

The InfraGov team will present two new research papers this summer at leading international conferences in software engineering: one introducing InfraFix, a novel tool for repairing Infrastructure as Code across technologies, and another reporting the first large-scale empirical study of contract usage and evolution in Android apps—laying the groundwork for similar analysis in IaC.

May 25, 2025 2 min read

Two new research papers to be presented at ISSTA 2025 and ECOOP 2025

InfraGov at ICSE 2025

InfraGov research team members Alexandra Mendes and João F. Ferreira attended ICSE 2025, the premier venue for research in Software Engineering. Alexandra and João participated in several work meetings where they disseminated the InfraGov project and current progress.

May 5, 2025 1 min read