Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações Confirmadas: 30



1
TÍTULO: AliveInLean: A Verified LLVM Peephole Optimization Verifier
AUTORES: Lee, J; Hur, CK; Lopes, NP ;
PUBLICAÇÃO: 2019, FONTE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT II, VOLUME: 11562
INDEXADO EM: WOS CrossRef
2
TÍTULO: AliveInLean: A Verified LLVM Peephole Optimization Verifier
AUTORES: Juneyoung Lee; Chung Kil Hur; Nuno P Lopes ;
PUBLICAÇÃO: 2019, FONTE: 31st International Conference on Computer Aided Verification, CAV 2019 in Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, VOLUME: 11562
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
3
TÍTULO: Fast BGP Simulation of Large Datacenters
AUTORES: Nuno P Lopes ; Andrey Rybalchenko;
PUBLICAÇÃO: 2019, FONTE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
4
TÍTULO: Future Directions for Optimizing Compilers PDF
AUTORES: Nuno P Lopes ; John Regehr;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.02161
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
5
TÍTULO: Practical Verification of Peephole Optimizations with Alive  Full Text
AUTORES: Lopes, NP ; Menendez, D; Nagarakatte, S; Regehr, J;
PUBLICAÇÃO: 2018, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 61, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
6
TÍTULO: Reconciling high-level optimizations and low-level code in LLVM
AUTORES: Juneyoung Lee; Chung Kil Hur; Ralf Jung; Zhengyang Liu; John Regehr; Nuno P Lopes ;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: OOPSLA
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
7
TÍTULO: CrystalNet: Faithfully Emulating Large Production Networks
AUTORES: Liu, HH; Zhu, YB; Padhye, J; Cao, JX; Tallapragada, S; Lopes, NP ; Rybalchenko, A; Lu, GH; Yuan, LH;
PUBLICAÇÃO: 2017, FONTE: 26th ACM Symposium on Operating Systems Principles (SOSP) in PROCEEDINGS OF THE TWENTY-SIXTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '17)
INDEXADO EM: WOS DBLP
NO MEU: DBLP
8
TÍTULO: Taming undefined behavior in LLVM
AUTORES: Juneyoung Lee; Yoonseung Kim; Youngju Song; Chung Kil Hur; Sanjoy Das; David Majnemer; John Regehr; Nuno P Lopes ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, VOLUME: 52, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 2
NO MEU: DBLP
9
TÍTULO: A design and verification methodology for secure isolated regions
AUTORES: Rohit Sinha; Manuel Costa; Akash Lal; Nuno P Lopes ; Sriram K Rajamani; Sanjit A Seshia; Kapil Vaswani;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, VOLUME: 51, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 2
NO MEU: DBLP
10
TÍTULO: Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic  Full Text
AUTORES: Lopes, NP ; Monteiro, J ;
PUBLICAÇÃO: 2016, FONTE: 20th International SPIN Symposium on Model Checking of Software in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
Página 1 de 3. Total de resultados: 30.

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service