Nuno Saavedra

20 papers A* 3A 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Voice-Driven Semantic Perception for UAV-Assisted Emergency Networks.
CoRR
Nuno Saavedra, Pedro Ribeiro, André Coelho, Rui Campos
2025 J jnl
Do Experts Agree About Smelly Infrastructure?
IEEE Trans. Software Eng.
Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh
2025 J jnl
Environmental Impact of CI/CD Pipelines.
CoRR
Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025 J jnl
From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges.
CoRR
Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025 — conf
InfraFix: Technology-Agnostic Repair of Infrastructure as Code.
ISSTA Companion
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025 J jnl
InfraFix: Technology-Agnostic Repair of Infrastructure as Code.
CoRR
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025 J jnl
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews.
CoRR
Martim Afonso, Nuno Saavedra, Bruno Lourenço, Alexandra Mendes, João F. Ferreira
2025 A* conf
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
ICSE
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2024 — conf
CoqPyt: Proof Navigation in Python in the Era of LLMs.
SIGSOFT FSE Companion
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
CoqPyt: Proof Navigation in Python in the Era of LLMs.
CoRR
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
GLITCH: Polyglot Code Smell Detection in Infrastructure as Code.
ERCIM News
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2024 — conf
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions.
ICSE Companion
Nuno Saavedra, André Silva, Martin Monperrus
2024 A conf
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs.
MSR
André Silva, Nuno Saavedra, Martin Monperrus
2024 J jnl
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs.
CoRR
André Silva, Nuno Saavedra, Martin Monperrus
2024 J jnl
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
CoRR
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2023 J jnl
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions.
CoRR
Nuno Saavedra, André Silva, Martin Monperrus
2023 A* conf
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.
ASE
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2023 J jnl
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.
CoRR
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2022 A* conf
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code.
ASE
Nuno Saavedra, João F. Ferreira
2022 J jnl
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts.
CoRR
Nuno Saavedra, João F. Ferreira