Glitch: Automated polyglot security smell detection in infrastructure as code N Saavedra, JF Ferreira Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 19 | 2022 |
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs A Silva, N Saavedra, M Monperrus 2024 IEEE/ACM 21st International Conference on Mining Software Repositories …, 2024 | 7 | 2024 |
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions N Saavedra, A Silva, M Monperrus Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | 5 | 2024 |
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH N Saavedra, J Gonçalves, M Henriques, JF Ferreira, A Mendes 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 3 | 2023 |
CoqPyt: Proof Navigation in Python in the Era of LLMs P Carrott, N Saavedra, K Thompson, S Lerner, JF Ferreira, E First Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |