Nuno P. Lopes

Synthesizing software verifiers from proof rules

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

Computing, Computer Engineering, Computer Science +17

Provably correct peephole optimizations with alive

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

Computing, Computer Engineering, Computer Science +13

Checking beliefs in dynamic networks

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

Computing, Computer Science, Computer Systems +14

Alive2: bounded translation validation for LLVM

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur et al. · 2021 · 92 citations

Computing, Computer Science, Computer Systems +11

CrystalNet

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

Computing, Computer Engineering, Computer Science +16