Henrique Nuno Saavedra Lemos de Moura


AuthID: R-004-PBN

Publications Requiring Validation

1
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
INDEXED IN: WOS DBLP
2
TITLE: GITBUG-JAVA: A Reproducible Benchmark of Recent Java Bugs
AUTHORS: Silva, Andre; Saavedra, Nuno; Monperrus, Martin;
PUBLISHED: 2024, SOURCE: IEEE/ACM 21st International Conference on Mining Software Repositories (MSR) in 2024 IEEE/ACM 21ST INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSR
INDEXED IN: Scopus WOS
3
TITLE: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTHORS: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLISHED: 2024, SOURCE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
INDEXED IN: Scopus WOS CrossRef
4
TITLE: GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
AUTHORS: Nuno Saavedra; João F Ferreira;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.14371
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service