Nuno P. Lopes

Registered user since Tue 17 Feb 2015

Name:Nuno P. Lopes
Country:Portugal
Affiliation:Universidade de Lisboa

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
CGO 2023 Committee Member in Program Committee within the Main Conference-track
PLDI 2022 Author of Reasoning About and Discovering LLVM Optimizations within the Tutorials-track
Committee Member in SRC Reviewers within the SRC-track
MoreVMs 2022 Author of Torchy: A Tracing JIT Compiler for PyTorch within the MoreVMs'22-track
PLDI 2021 Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
Committee Member in Program Committee within the PLDI-track
PLDI 2019 Session Chair of Synthesis (part of PLDI Research Papers)
Committee Member in Program Committee within the PLDI Research Papers-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)
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
PLDI 2017 Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-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