• Sign in
  • Sign up
conf.researchr.org / David Menendez
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile

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

Share
xSat 21 May 06:04
using conf.researchr.org (v1.55.6)
Support page
Sign Up