• Sign in
  • Sign up
conf.researchr.org / Nuno Saavedra
  • ASE 2022 profile
  • ASE 2023 profile
  • FSE 2024 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ISSTA 2025 profile
Nuno Saavedra

Registered user since Mon 28 Aug 2023

Name:Nuno Saavedra
Country:Portugal
Affiliation:INESC-ID and IST, University of Lisbon
Personal website: https://www.nuno.saavedra.pt
X (Twitter): https://x.com/nunofsaavedra
GitHub: https://github.com/Nfsaavedra
Research interests:Software Reliability, Software Verification, Infrastructure as Code, Software Engineering

Contributions

2025

ISSTA

  • Author of InfraFix: Technology-Agnostic Repair of Infrastructure as Code within the Tool Demonstrations-track

ICSE

  • Author of Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification within the Research Track-track

2024

ESEC/FSE

  • Author of CoqPyt: Proof Navigation in Python in the Era of LLMs within the Demonstrations-track

ICSE

  • Author of GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions within the Demonstrations-track

Mining Software Repositories

  • Author of GitBugs-Java: A Reproducible Java Benchmark of Recent Bugs within the Data and Tool Showcase Track-track

2023

ASE

  • Author of Polyglot Code Smell Detection for Infrastructure as Code with GLITCH within the Tool Demonstrations-track

2022

ASE

  • Author of GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code within the Artifact Evaluation-track
  • Author of GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code within the Research Papers-track
Share
xTue 24 Jun 02:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up