Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações Confirmadas: 27



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: Scopus WOS DBLP CrossRef
2
TÍTULO: Fast BGP Simulation of Large Datacenters
AUTORES: Nuno P Lopes ; Andrey Rybalchenko;
PUBLICAÇÃO: 2019, FONTE: VMCAI
INDEXADO EM: DBLP CrossRef: 16
3
TÍTULO: Future Directions for Optimizing Compilers
AUTORES: Nuno P Lopes ; John Regehr;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.02161
INDEXADO EM: DBLP
4
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: 22
5
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: 21
6
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
7
TÍTULO: Taming undefined behavior in LLVM  Full Text
AUTORES: Juneyoung Lee; Yoonseung Kim; Youngju Song; Chung Kil Hur; Sanjoy Das; David Majnemer; John Regehr; Nuno P Lopes ;
PUBLICAÇÃO: 2017, FONTE: PLDI, VOLUME: 52, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 10
8
TÍTULO: A design and verification methodology for secure isolated regions  Full Text
AUTORES: Rohit Sinha; Manuel Costa; Akash Lal; Nuno P Lopes ; Sriram K Rajamani; Sanjit A Seshia; Kapil Vaswani;
PUBLICAÇÃO: 2016, FONTE: PLDI, VOLUME: 51, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 6
9
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: 20
10
TÍTULO: Scaling network verification using symmetry and surgery
AUTORES: Plotkin, GD; Bjørner, N; Lopes, NP ; Rybalchenko, A; Varghese, G;
PUBLICAÇÃO: 2016, FONTE: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, VOLUME: 20-22-January-2016
INDEXADO EM: Scopus CrossRef: 25
Página 1 de 3. Total de resultados: 27.

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

Links Úteis

Ajuda

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