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