• 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

2018

PLDI

  • Committee Member in External Review Committee

2017

PLDI

  • Author of ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM within the PLDI Research Papers-track

2016

PLDI

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
  • Committee Member in Artifact Evaluation Committee

2015

PLDI

  • Author of Provably Correct Peephole Optimizations with Alive within the Research Papers-track
Share
xMon 27 Oct 19:04
using conf.researchr.org (v1.72.1)
Support page
Sign Up