Nuno Saavedra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2025 | ISSTA | InfraFix: Technology-Agnostic Repair of Infrastructure as Code. | Nuno Saavedra, Joo F. Ferreira, Alexandra Mendes |
| 2024 | ICSE | GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions. | Nuno Saavedra, Andr Silva, Martin Monperrus |
| 2024 | MSR | GitBug-Java: A Reproducible Benchmark of Recent Java Bugs. | Andr Silva, Nuno Saavedra, Martin Monperrus |