All Stories

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

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

    Alexandra Mendes, Nuno Saavedra

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

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

    Nuno Saavedra, Alexandra Mendes

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra

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

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

    Nuno Saavedra