Nuno Claudino Pereira Lopes
AuthID: R-000-DMJ
1
TITLE: Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
AUTHORS: George Mitenkov; Igor Kabiljo; Zekun Li; Alexander Spiegelman; Satyanarayana Vusirikala; Zhuolun Xiang; Aleksandar Zlateski; Nuno P Lopes; Rati Gelashvili;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.06117
AUTHORS: George Mitenkov; Igor Kabiljo; Zekun Li; Alexander Spiegelman; Satyanarayana Vusirikala; Zhuolun Xiang; Aleksandar Zlateski; Nuno P Lopes; Rati Gelashvili;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.06117
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: TCP: A Tensor Contraction Processor for AI Workloads Full Text
AUTHORS: Kim, Hanjoon; Choi, Younggeun; Park, Junyoung; Bae, Byeongwook; Jeong, Hyunmin; Lee, Sang Min; Yeon, Jeseung; Kim, Minho; Park, Changjae; Gu, Boncheol; Lee, Changman; Bae, Jaeick; Bae, SungGyeong; Cha, Yojung; Choe, Wooyoung; Choi, Jonguk; Ha, Juho; Han, Hyuck; Hwang, Namoh; Hwang, Seokha; ...More
PUBLISHED: 2024, SOURCE: ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) in 2024 ACM/IEEE 51ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, ISCA 2024
AUTHORS: Kim, Hanjoon; Choi, Younggeun; Park, Junyoung; Bae, Byeongwook; Jeong, Hyunmin; Lee, Sang Min; Yeon, Jeseung; Kim, Minho; Park, Changjae; Gu, Boncheol; Lee, Changman; Bae, Jaeick; Bae, SungGyeong; Cha, Yojung; Choe, Wooyoung; Choi, Jonguk; Ha, Juho; Han, Hyuck; Hwang, Namoh; Hwang, Seokha; ...More
PUBLISHED: 2024, SOURCE: ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) in 2024 ACM/IEEE 51ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, ISCA 2024
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
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: Supercharging Plant Configurations Using Z3
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Alive2: bounded translation validation for LLVM
AUTHORS: Nuno P Lopes; Juneyoung Lee; Chung Kil Hur; Zhengyang Liu; John Regehr;
PUBLISHED: 2021, SOURCE: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211.
AUTHORS: Nuno P Lopes; Juneyoung Lee; Chung Kil Hur; Zhengyang Liu; John Regehr;
PUBLISHED: 2021, SOURCE: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211.
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation
AUTHORS: Juneyoung Lee; Dongjoo Kim; Chung Kil Hur; Nuno P Lopes;
PUBLISHED: 2021, SOURCE: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, VOLUME: 12760
AUTHORS: Juneyoung Lee; Dongjoo Kim; Chung Kil Hur; Nuno P Lopes;
PUBLISHED: 2021, SOURCE: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, VOLUME: 12760
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
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
8
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
9
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 WOS10
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
