Nuno Saavedra

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Automated Theorem Proving

Navigation Systems

Top Venues

Publications

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. SIGSOFT FSE Companion (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. CoRR (2024)
André Silva, Nuno Saavedra, Martin Monperrus
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs. MSR (2024)
André Silva, Nuno Saavedra, Martin Monperrus
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs. CoRR (2024)
Nuno Saavedra, André Silva, Martin Monperrus
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions. ICSE Companion (2024)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. CoRR (2023)
Nuno Saavedra, André Silva, Martin Monperrus
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions. CoRR (2023)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. ASE (2023)
Nuno Saavedra, João F. Ferreira
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. ASE (2022)
Nuno Saavedra, João F. Ferreira
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts. CoRR (2022)