Nuno Saavedra

According to our database, Nuno Saavedra authored at least 21 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Do Experts Agree About Smelly Infrastructure?

Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh

IEEE Trans. Software Eng., May, 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

CoRR, April, 2025

InfraFix: Technology-Agnostic Repair of Infrastructure as Code.

Nuno Saavedra, João F. Ferreira, Alexandra Mendes

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025

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, Sorin Lerner, Emily First

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

GitBug-Java: Collection Artifacts.

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, February, 2024

GitBug-Java: Collection Artifacts.

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, January, 2024

GitBug-Java: Offilne Reproduction Environments (Part 2).

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, January, 2024

GitBug-Java: Offline Reproduction Environments (Part 1).

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, January, 2024

GitBug-Actions Go Benchmark January 2023.

Nuno Saavedra, André Silva, Martin Monperrus

Dataset, January, 2024

GitBug-Actions Go Benchmark January 2023.

Nuno Saavedra, André Silva, Martin Monperrus

Dataset, January, 2024

GitBug-Actions Go Benchmark January 2023.

Nuno Saavedra, André Silva, Martin Monperrus

Dataset, January, 2024

GLITCH: Polyglot Code Smell Detection in Infrastructure as Code.

Nuno Saavedra, João F. Ferreira, Alexandra Mendes

ERCIM News, 2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs.

André Silva, Nuno Saavedra, Martin Monperrus

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions.

Nuno Saavedra, André Silva, Martin Monperrus

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

GitBugs-Java: Offline Reproduction Environments (Part 1).

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, December, 2023

GitBugs-Java: Offilne Reproduction Environments (Part 2).

André Silva, Nuno Saavedra, Martin Monperrus

Dataset, December, 2023

GitBug-Actions Go Benchmark January 2023.

Nuno Saavedra, André Silva, Martin Monperrus

Dataset, October, 2023

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts.

Nuno Saavedra, João F. Ferreira

CoRR, 2022

GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code.

Nuno Saavedra, João F. Ferreira

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022