Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações a aguardarem confirmação

1
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
INDEXED IN: WOS DBLP
IN MY: DBLP
2
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
INDEXED IN: DBLP
IN MY: DBLP
3
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.
INDEXED IN: DBLP
IN MY: DBLP
4
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
INDEXED IN: DBLP
IN MY: DBLP
5
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
INDEXED IN: Scopus WOS

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service