Follow
Nuno Saavedra
Nuno Saavedra
PhD Student, INESC-ID & Instituto Superior Técnico
Verified email at saavedra.pt - Homepage
Title
Cited by
Cited by
Year
Glitch: Automated polyglot security smell detection in infrastructure as code
N Saavedra, JF Ferreira
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
192022
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
A Silva, N Saavedra, M Monperrus
2024 IEEE/ACM 21st International Conference on Mining Software Repositories …, 2024
72024
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
N Saavedra, A Silva, M Monperrus
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024
52024
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
N Saavedra, J Gonçalves, M Henriques, JF Ferreira, A Mendes
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
32023
CoqPyt: Proof Navigation in Python in the Era of LLMs
P Carrott, N Saavedra, K Thompson, S Lerner, JF Ferreira, E First
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–5