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: WOS CrossRef
2
TITLE: AliveInLean: A Verified LLVM Peephole Optimization Verifier
AUTHORS: Juneyoung Lee; Chung Kil Hur; Nuno P Lopes ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
3
TITLE: Fast BGP Simulation of Large Datacenters
AUTHORS: Nuno P Lopes ; Andrey Rybalchenko;
PUBLISHED: 2019, SOURCE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, VOLUME: 11388
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
4
TITLE: Future Directions for Optimizing Compilers PDF
AUTHORS: Nuno P Lopes ; John Regehr;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.02161
INDEXED IN: DBLP arXiv
IN MY: DBLP
5
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: 5
IN MY: DBLP
6
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: 1
IN MY: DBLP
7
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
IN MY: DBLP
8
TITLE: Taming undefined behavior in LLVM
AUTHORS: Juneyoung Lee; Yoonseung Kim; Youngju Song; Chung Kil Hur; Sanjoy Das; David Majnemer; John Regehr; Nuno P Lopes ;
PUBLISHED: 2017, SOURCE: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, VOLUME: 52, ISSUE: 6
INDEXED IN: DBLP CrossRef: 2
IN MY: DBLP
9
TITLE: A design and verification methodology for secure isolated regions
AUTHORS: Rohit Sinha; Manuel Costa; Akash Lal; Nuno P Lopes ; Sriram K Rajamani; Sanjit A Seshia; Kapil Vaswani;
PUBLISHED: 2016, SOURCE: 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, ISSUE: 6
INDEXED IN: DBLP CrossRef: 2
IN MY: DBLP
10
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
IN MY: DBLP
Page 1 of 3. Total results: 30.