@inproceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/pldi/LeungGAGJL12,
  author    = {Alan Leung and
               Manish Gupta and
               Yuvraj Agarwal and
               Rajesh Gupta and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Verifying GPU kernels by test amplification},
  booktitle = {PLDI},
  year      = {2012},
  pages     = {383-394},
  ee        = {http://doi.acm.org/10.1145/2254064.2254110},
  crossref  = {DBLP:conf/pldi/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/pldi/2012,
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {ACM SIGPLAN Conference on Programming Language Design and
               Implementation, PLDI '12, Beijing, China - June 11 - 16,
               2012},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1205-9},
  ee        = {http://dl.acm.org/citation.cfm?id=2254064},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}