Concepedia

Nuno P. Lopes

NP

Statistics

Publications

18

Citations

1.1K

H-Index

16

Active since

2012

Affiliations

Microsoft Research (United Kingdom)(Current)

University of Utah

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Seoul National University

Microsoft (United States)

Nuno P. Lopes is an author at Microsoft Research (United Kingdom) specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisSoftware AnalysisComputer EngineeringSoftware EngineeringCompilersVerification

Publications per year

2012–2023

18

Publications

18

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · 2012 · 237 citations

Program Checking, Engineering, Verification +23

Checking beliefs in dynamic networks

Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid et al. · 2015 · 128 citations

Engineering, Verification, Computer-aided Verification +20

Provably correct peephole optimizations with alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al. · 2015 · 127 citations

Large-scale Global Optimization, Engineering, Compiler Technology +20

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · ACM SIGPLAN Notices · 2012 · 87 citations

Program Checking, Engineering, Verification +23

CrystalNet

Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye et al. · 2017 · 85 citations

Hardware Security, Network Virtualization, Network Engineers +13

1–5 of 18