All Stories

  1. InfraFix: Technology-Agnostic Repair of Infrastructure as Code

    Article • June 2025, ACM (Association for Computing Machinery)

    Nuno Saavedra, Alexandra Mendes

  2. CoqPyt: Proof Navigation in Python in the Era of LLMs

    Article • July 2024, ACM (Association for Computing Machinery)

    Nuno Saavedra

  3. GitBug-Java: A Reproducible Java Benchmark of Recent Bugs

    Article • April 2024, ACM (Association for Computing Machinery)

    Nuno Saavedra

  4. GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions

    Article • April 2024, ACM (Association for Computing Machinery)

    Nuno Saavedra

  5. GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code

    Article • October 2022, ACM (Association for Computing Machinery)

    Nuno Saavedra