Rui Filipe Lima Maranhão de Abreu
AuthID: R-000-KWV
11
TITLE: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
12
TITLE: REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions
AUTHORS: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
AUTHORS: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
13
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
14
TITLE: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August
15
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
16
TITLE: Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
AUTHORS: Will Shackleton; Katriel Cohn Gordon; Peter C Rigby; Rui Abreu; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTHORS: Will Shackleton; Katriel Cohn Gordon; Peter C Rigby; Rui Abreu; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
17
TITLE: Modeling the Centrality of Developer Output with Software Supply Chains
AUTHORS: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTHORS: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
19
TITLE: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
20
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, D; Campos, J ; Abreu, R;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
AUTHORS: Fortunato, D; Campos, J ; Abreu, R;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
