Henrique Nuno Saavedra Lemos de Moura
AuthID: R-004-PBN
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
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
INDEXED IN: 
WOS 
DBLP
WOS DBLP2
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
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
Scopus WOS3
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
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
4
TITLE: Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTHORS: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
AUTHORS: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
5
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
AUTHORS: Nuno Saavedra; João F Ferreira;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.14371
INDEXED IN: DBLP
DBLP