BibTeX record conf/pldi/TristanGM11

• > Home > conf/pldi/TristanGM11

@inproceedings{DBLP:conf/pldi/TristanGM11,
  author       = {Jean{-}Baptiste Tristan and
                  Paul Govereau and
                  Greg Morrisett},
  editor       = {Mary W. Hall and
                  David A. Padua},
  title        = {Evaluating value-graph translation validation for {LLVM}},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
                  June 4-8, 2011},
  pages        = {295--305},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993498.1993533},
  doi          = {10.1145/1993498.1993533},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/TristanGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}