Nuno P. Lopes -

Registered user since Tue 17 Feb 2015

Name:Nuno P. Lopes

Country:Portugal

Affiliation:Universidade de Lisboa

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

GitHub:https://github.com/nunoplopes

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
CC 2023	Author of Torchy: A Tracing JIT Compiler for PyTorch within the Research Papers-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