Nuno Claudino Pereira Lopes
AuthID: R-000-DMJ
1
TITLE: Pfeife: Automatic Pipeline Parallelism for PyTorch
AUTHORS: Ho Young Jhoo; Chung Kil Hur; Nuno P Lopes;
PUBLISHED: 2025, SOURCE: 42nd International Conference on Machine Learning, ICML 2025 in ICML, VOLUME: 267
AUTHORS: Ho Young Jhoo; Chung Kil Hur; Nuno P Lopes;
PUBLISHED: 2025, SOURCE: 42nd International Conference on Machine Learning, ICML 2025 in ICML, VOLUME: 267
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: Translation Validation for LLVM's AArch64 Backend
AUTHORS: Berger, Ryan; Briles, Mitch; Moradi, Nader Boushehrinejad; Coughlin, Nicholas; Lam, Kait; Lopes, Nuno P.; Mada, Stefan; Tirpankar, Tanmay; Regehr, John;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: OOPSLA2
AUTHORS: Berger, Ryan; Briles, Mitch; Moradi, Nader Boushehrinejad; Coughlin, Nicholas; Lam, Kait; Lopes, Nuno P.; Mada, Stefan; Tirpankar, Tanmay; Regehr, John;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: OOPSLA2
INDEXED IN: 
WOS DBLP
WOS DBLP3
TITLE: Torchy: A Tracing JIT Compiler for PyTorch
AUTHORS: Lopes, Nuno P.;
PUBLISHED: 2023, SOURCE: 32nd ACM SIGPLAN International Conference on Compiler Construction (CC) in PROCEEDINGS OF THE 32ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2023
AUTHORS: Lopes, Nuno P.;
PUBLISHED: 2023, SOURCE: 32nd ACM SIGPLAN International Conference on Compiler Construction (CC) in PROCEEDINGS OF THE 32ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2023
INDEXED IN: WOS DBLP
WOS DBLP IN MY: DBLP
DBLP4
TITLE: Linked data authority records for Irish place names
AUTHORS: Catherine Ryan; Rebecca Grant; EoghanÓ Carragáin; Sandra Collins; Stefan Decker; Nuno Lopes;
PUBLISHED: 2015, SOURCE: International Journal on Digital Libraries, VOLUME: 15, ISSUE: 2-4
AUTHORS: Catherine Ryan; Rebecca Grant; EoghanÓ Carragáin; Sandra Collins; Stefan Decker; Nuno Lopes;
PUBLISHED: 2015, SOURCE: International Journal on Digital Libraries, VOLUME: 15, ISSUE: 2-4
5
TITLE: On-demand integration and linking of open data information
AUTHORS: Nuno Lopes; Martin Stephenson; Vanessa Lopez; Pierpaolo Tommasi; Pól Mac Aonghusa;
PUBLISHED: 2015, SOURCE: Communications in Computer and Information Science, VOLUME: 544
AUTHORS: Nuno Lopes; Martin Stephenson; Vanessa Lopez; Pierpaolo Tommasi; Pól Mac Aonghusa;
PUBLISHED: 2015, SOURCE: Communications in Computer and Information Science, VOLUME: 544
6
TITLE: Weakest Precondition Synthesis for Compiler Optimizations
AUTHORS: Lopes, NP; Monteiro, J;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), VOLUME: 8318
AUTHORS: Lopes, NP; Monteiro, J;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), VOLUME: 8318
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Linked Logainm: Enhancing Library Metadata Using Linked Data of Irish Place Names
AUTHORS: Nuno Lopes; Rebecca Grant; Brian Ó Raghallaigh; Eoghan Ó Carragain; Sandra Collins; Stefan Decker;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 416 CCIS
AUTHORS: Nuno Lopes; Rebecca Grant; Brian Ó Raghallaigh; Eoghan Ó Carragain; Sandra Collins; Stefan Decker;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 416 CCIS
8
TITLE: Querying the Web of data with XSPARQL 1.1
AUTHORS: Daniele Dell'Aglio; Axel Polleres; Nuno Lopes; Stefan Bischof;
PUBLISHED: 2014, SOURCE: CEUR Workshop Proceedings, VOLUME: 1268
AUTHORS: Daniele Dell'Aglio; Axel Polleres; Nuno Lopes; Stefan Bischof;
PUBLISHED: 2014, SOURCE: CEUR Workshop Proceedings, VOLUME: 1268
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID9
TITLE: Update semantics for interoperability among XML, RDF and RDB: A case study of semantic presence in CISCO's unified presence systems
AUTHORS: Muhammad Intizar Ali; Nuno Lopes; Owen Friel; Alessandra Mileo;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7808 LNCS
AUTHORS: Muhammad Intizar Ali; Nuno Lopes; Owen Friel; Alessandra Mileo;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7808 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID10
TITLE: Linked data for digital libraries
AUTHORS: Uldis Bojars; Nuno Lopes; Jodi Schneider;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8092 LNCS
AUTHORS: Uldis Bojars; Nuno Lopes; Jodi Schneider;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8092 LNCS
