Nuno P. Lopes -

Registered user since Tue 17 Feb 2015

Name:Nuno P. Lopes

Affiliation:Microsoft Research

Personal website:https://web.ist.utl.pt/nuno.lopes/

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