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

GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts. - Nuno Saavedra; João F. Ferreira 001 (CoRR, 2022)

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

GitBug-Actions Go Benchmark January 2023. - Nuno Saavedra; André Silva 002; Martin Monperrus (Zenodo, 2023)

GitBugs-Java: Offilne Reproduction Environments (Part 2). - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2023)

GitBugs-Java: Offline Reproduction Environments (Part 1). - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2023)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions. - Nuno Saavedra; André Silva 002; Martin Monperrus (ICSE Companion, 2024)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs. - André Silva 002; Nuno Saavedra; Martin Monperrus (MSR, 2024)

CoqPyt: Proof Navigation in Python in the Era of LLMs. - Pedro Carrott; Nuno Saavedra; Kyle Thompson; Sorin Lerner; João F. Ferreira 001; Emily First (SIGSOFT FSE Companion, 2024)

GLITCH: Polyglot Code Smell Detection in Infrastructure as Code. - Nuno Saavedra; João F. Ferreira 001; Alexandra Mendes (ERCIM News, 2024)

GitBug-Actions Go Benchmark January 2023. - Nuno Saavedra; André Silva 002; Martin Monperrus (Zenodo, 2024)

GitBug-Actions Go Benchmark January 2023. - Nuno Saavedra; André Silva 002; Martin Monperrus (Zenodo, 2024)

GitBug-Actions Go Benchmark January 2023. - Nuno Saavedra; André Silva 002; Martin Monperrus (Zenodo, 2024)

GitBug-Java: Offline Reproduction Environments (Part 1). - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2024)

GitBug-Java: Offilne Reproduction Environments (Part 2). - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2024)

GitBug-Java: Collection Artifacts. - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2024)

GitBug-Java: Collection Artifacts. - André Silva 002; Nuno Saavedra; Martin Monperrus (Zenodo, 2024)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. - Kyle Thompson; Nuno Saavedra; Pedro Carrott; Kevin Fisher; Alex Sanchez-Stern; Yuriy Brun; João F. Ferreira 001; Sorin Lerner; Emily First (ICSE, 2025)

InfraFix: Technology-Agnostic Repair of Infrastructure as Code. - Nuno Saavedra; João F. Ferreira 001; Alexandra Mendes (ISSTA Companion, 2025)

From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges. - Carolina Carreira; Nuno Saavedra; Alexandra Mendes; João F. Ferreira 001 (CoRR, 2025)

Do Experts Agree About Smelly Infrastructure? - Sogol Masoumzadeh; Nuno Saavedra; Rungroj Maipradit; Lili Wei 001; João F. Ferreira 001; Dániel Varró; Shane McIntosh (IEEE Trans. Software Eng., 2025)