Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Confirmed Publications: 27



1
TITLE: AliveInLean: A Verified LLVM Peephole Optimization Verifier
AUTHORS: Lee, J; Hur, CK; Lopes, NP ;
PUBLISHED: 2019, SOURCE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT II, VOLUME: 11562
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Fast BGP Simulation of Large Datacenters
AUTHORS: Nuno P Lopes ; Andrey Rybalchenko;
PUBLISHED: 2019, SOURCE: VMCAI
INDEXED IN: DBLP CrossRef: 16
3
TITLE: Future Directions for Optimizing Compilers
AUTHORS: Nuno P Lopes ; John Regehr;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.02161
INDEXED IN: DBLP
4
TITLE: Practical Verification of Peephole Optimizations with Alive  Full Text
AUTHORS: Lopes, NP ; Menendez, D; Nagarakatte, S; Regehr, J;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 61, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 22
5
TITLE: Reconciling high-level optimizations and low-level code in LLVM
AUTHORS: Juneyoung Lee; Chung Kil Hur; Ralf Jung; Zhengyang Liu; John Regehr; Nuno P Lopes ;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: OOPSLA
INDEXED IN: DBLP CrossRef: 21
6
TITLE: CrystalNet: Faithfully Emulating Large Production Networks
AUTHORS: Liu, HH; Zhu, YB; Padhye, J; Cao, JX; Tallapragada, S; Lopes, NP ; Rybalchenko, A; Lu, GH; Yuan, LH;
PUBLISHED: 2017, SOURCE: 26th ACM Symposium on Operating Systems Principles (SOSP) in PROCEEDINGS OF THE TWENTY-SIXTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '17)
INDEXED IN: WOS DBLP
7
TITLE: Taming undefined behavior in LLVM  Full Text
AUTHORS: Juneyoung Lee; Yoonseung Kim; Youngju Song; Chung Kil Hur; Sanjoy Das; David Majnemer; John Regehr; Nuno P Lopes ;
PUBLISHED: 2017, SOURCE: PLDI, VOLUME: 52, ISSUE: 6
INDEXED IN: DBLP CrossRef: 10
8
TITLE: A design and verification methodology for secure isolated regions  Full Text
AUTHORS: Rohit Sinha; Manuel Costa; Akash Lal; Nuno P Lopes ; Sriram K Rajamani; Sanjit A Seshia; Kapil Vaswani;
PUBLISHED: 2016, SOURCE: PLDI, VOLUME: 51, ISSUE: 6
INDEXED IN: DBLP CrossRef: 6
9
TITLE: Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic  Full Text
AUTHORS: Lopes, NP ; Monteiro, J ;
PUBLISHED: 2016, SOURCE: 20th International SPIN Symposium on Model Checking of Software in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 20
10
TITLE: Scaling network verification using symmetry and surgery
AUTHORS: Plotkin, GD; Bjørner, N; Lopes, NP ; Rybalchenko, A; Varghese, G;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus CrossRef: 25
Page 1 of 3. Total results: 27.

footer slogan

Useful Links

Get Help

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