Get started
Author

Nuno Saavedra

GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
2022 · Nuno Saavedra, João F. Ferreira · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 56
PDF
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
2025 · Kyle Thompson, Nuno Saavedra, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 48
PDF
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
2024 · André Silva, Nuno Saavedra, et al. · International Conference on Mining Software Repositories (MSR) · 35
PDF
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
2024 · Nuno Saavedra, André Silva, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 16
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
2023 · Nuno Saavedra, João Gonçalves, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 14
PDF
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
2025 · Nuno Saavedra, João F. Ferreira, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 12
CoqPyt: Proof Navigation in Python in the Era of LLMs
2024 · Pedro Carrott, Nuno Saavedra, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 12
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
2025 · Carreira, Carolina, Saavedra, Nuno, et al. · arXiv (Cornell University) · 7
PDF
Do Experts Agree About Smelly Infrastructure?
2025 · Sogol Masoumzadeh, Nuno Saavedra, et al. · IEEE Transactions on Software Engineering · 6
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
2026 · Martim Afonso, Nuno Saavedra, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 2
SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification
2026 · Silva, Álvaro F., Afonso, Martim, et al. · arXiv (Cornell University)
PDF
Vibenix: Agentic Software Packaging and Maintenance with Nix
2026 · Monis, Martim, Schwaighofer, Martin, et al. · arXiv (Cornell University)
PDF
Déjà Vu? Redundant Dependencies in Terraform
2026 · Carlos Felgueiras, Luís W. Barbosa, et al.
Voice-Driven Semantic Perception for UAV-Assisted Emergency Networks
2026 · Nuno Saavedra, Pedro Ribeiro, et al. · IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC)
PDF
Replication Package for "Déjà vu? Redundant Dependencies in Terraform"
2026 · Felgueiras, Carlos, Barbosa, Luís, et al. · Zenodo (CERN European Organization for Nuclear Research)
Vibenix: An AI Assistant for Software Packaging with Nix
2026 · Martin Schwaighofer, Martim Monis, et al.
PDF
CoqPyt: Proof Navigation in Python in the Era of LLMs
2023 · Saavedra, Nuno, Carrott, Pedro, et al. · Zenodo (CERN European Organization for Nuclear Research)
GitBug-Java: Offilne Reproduction Environments (Part 2)
2023 · Silva, André, Saavedra, Nuno, et al. · Zenodo (CERN European Organization for Nuclear Research)
GitBug-Java: Offline Reproduction Environments (Part 1)
2023 · Silva, André, Saavedra, Nuno, et al. · Zenodo (CERN European Organization for Nuclear Research)
GitBug-Actions Go Benchmark January 2023
2023 · Saavedra, Nuno, Silva, André, et al. · Zenodo (CERN European Organization for Nuclear Research)
GLITCH: Design & Implementation Smells in Infrastructure as Code
2022 · Ferreira, João, Saavedra, Nuno · Figshare
GLITCH: Replication Package with Code and Datasets (ASE 2022)
2022 · Ferreira, João, Saavedra, Nuno · Figshare
Works count: 22
Citation count: 208
H-index: 7
I10-index: 7
Year
Topic
Type