ProfileOfResearchers

Identificadas 22

TÃTULO: FuriosaAI RNGD: A Tensor Contraction Processor for Sustainable AI Computing Full Text
AUTORES: Choi, Younggeun; Park, Junyoung; Lee, Sang Min; Yeon, Jeseung; Kim, Minho; Park, Changjae; Bae, Byeongwook; Jeong, Hyunmin; Kim, Hanjoon; Paik, June; Lopes, Nuno P.; Yoo, Sungjoo;
PUBLICAÇÃO: 2025, FONTE: IEEE MICRO, VOLUME: 45, NÚMERO: 3

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

DBLP

TÃTULO: Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
AUTORES: Popescu, Lucian; Lopes, Nuno P.;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: PLDI

INDEXADO EM:

Scopus

WOS

DBLP

TÃTULO: Link-Time Optimization of Dynamic Casts in C++ Programs
AUTORES: Lu, Xufan; Lopes, Nuno P.;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: PLDI

INDEXADO EM:

Scopus

WOS

DBLP

TÃTULO: Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
AUTORES: George Mitenkov; Igor Kabiljo; Zekun Li; Alexander Spiegelman; Satyanarayana Vusirikala; Zhuolun Xiang; Aleksandar Zlateski; Nuno P Lopes; Rati Gelashvili;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.06117

INDEXADO EM:

DBLP

NO MEU:

DBLP

TÃTULO: TCP: A Tensor Contraction Processor for AI Workloads Full Text
AUTORES: 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; Jang, Kiseok; Je, Haechan; Jeon, Hojin; Jeon, Jaewoo; Jeong, Hyunjun; Jung, Yeonsu; Kang, Dongok; Kim, Hyewon; Kim, Minjae; Kim, Muhwan; Kim, Sewon; Kim, Suhyung; Kim, Won; Kim, Yong; Kim, Youngsik; Ku, Younki; Lee, Jeong Ki; Lee, Juyun; Lee, Kyungjae; Lee, Seokho; Noh, Minwoo; Oh, Hyuntaek; Park, Gyunghee; Park, Sanguk; Seo, Jimin; Seong, Jungyoung; Paik, June; Lopes, Nuno P.; Yoo, Sungjoo; ...Mais
PUBLICAÇÃO: 2024, FONTE: ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) in 2024 ACM/IEEE 51ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, ISCA 2024

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

DBLP

TÃTULO: Torchy: A Tracing JIT Compiler for PyTorch
AUTORES: Lopes, Nuno P.;
PUBLICAÇÃO: 2023, FONTE: 32nd ACM SIGPLAN International Conference on Compiler Construction (CC) in PROCEEDINGS OF THE 32ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2023

INDEXADO EM:

WOS

DBLP

NO MEU:

DBLP

TÃTULO: Supercharging Plant Configurations Using Z3
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735

INDEXADO EM:

DBLP

NO MEU:

DBLP

TÃTULO: Alive2: bounded translation validation for LLVM
AUTORES: Nuno P Lopes; Juneyoung Lee; Chung Kil Hur; Zhengyang Liu; John Regehr;
PUBLICAÇÃO: 2021, FONTE: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211.

INDEXADO EM:

DBLP

NO MEU:

DBLP

TÃTULO: An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation
AUTORES: Juneyoung Lee; Dongjoo Kim; Chung Kil Hur; Nuno P Lopes;
PUBLICAÇÃO: 2021, FONTE: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, VOLUME: 12760

INDEXADO EM:

DBLP

NO MEU:

DBLP

TÃTULO: Linked data authority records for Irish place names
AUTORES: Catherine Ryan; Rebecca Grant; EoghanÓ Carragáin; Sandra Collins; Stefan Decker; Nuno Lopes;
PUBLICAÇÃO: 2015, FONTE: International Journal on Digital Libraries, VOLUME: 15, NÚMERO: 2-4

INDEXADO EM:

Scopus