Nuno Saavedra

According to our database, Nuno Saavedra authored at least 6 papers between 2022 and 2024.

Collaborative distances:

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

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

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