Nuno P. Lopes

Registered user since Tue 17 Feb 2015

Name:Nuno P. Lopes
Affiliation:Microsoft Research

Contributions

PLDI 2021 Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
Committee Member in Program Committee within the PLDI-track
VMCAI 2019 Invited Speaker in Invited Speakers within the VMCAI 2019-track
Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track
Invited Speaker of Semantics for Compiler IRs: Undefined Behavior is not Evil! within the VMCAI 2019-track
Session Chair of Program Synthesis (part of VMCAI 2019)
PLDI 2019 Session Chair of Synthesis (part of PLDI Research Papers)
Committee Member in Program Committee within the PLDI Research Papers-track
SPLASH 2018 Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2017 Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
PLDI 2016 Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
POPL 2016 Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track
PLDI 2015 Author of Provably Correct Peephole Optimizations with Alive within the Research Papers-track