conf.researchr.org / David Menendez

Registered user since Mon 13 Apr 2015

Name:David Menendez
Country:United States
Affiliation:Rutgers University
Personal website:http://www.cs.rutgers.edu/~davemm/

Contributions

PLDI 2018 Committee Member in External Review Committee
PLDI 2017 Author of ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM within the PLDI Research Papers-track
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee
PLDI 2015 Author of Provably Correct Peephole Optimizations with Alive within the Research Papers-track