SafeIaC Project

We are building the first technology-agnostic solution for reliable analysis and automated repair for Infrastructure as Code that provides formal correctness guarantees.

Latest News

Jul 1, 2025 1 min read
We are recruiting two PhD students!
We are recruiting two PhD students!

Are you interested in building more reliable DevOps systems? As part of SafeIaC, we have two fully-funded PhD positions available at the intersection of Artificial Intelligence and Formal Methods, focused on improving the reliability of Infrastructure as Code (IaC) and Policy as Code (PaC).

Jun 3, 2025 1 min read
Two Amazon Research Awards on Automated Reasoning!
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!

Featured Publications

Nuno Saavedra, João F. Ferreira, Alexandra Mendes (2025). InfraFix: Technology-Agnostic Repair of Infrastructure as Code. In ISSTA 2025, Tool Demonstrations Track.

PDF Code Video

Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh (2025). Do Experts Agree About Smelly Infrastructure?. In TSE 2025.

PDF

David Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira (2025). Contract Usage and Evolution in Android Mobile Applications. In ECOOP 2025.

PDF Code

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes (2023). Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. In ASE 2023, Tool Demo Track.

PDF Code

Nuno Saavedra, João F. Ferreira (2022). GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. In ASE 2022.

PDF Dataset