All Stories

  1. Déjà Vu? Redundant Dependencies in Terraform

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

    Nuno Saavedra, Alexandra Mendes

  2. ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews

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

    Alexandra Mendes, Nuno Saavedra

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

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

    Nuno Saavedra, Alexandra Mendes

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra