Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett. Evaluating value-graph translation validation for LLVM. In Mary W. Hall, David A. Padua, editors, 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, ACM, 2011. [doi]
@inproceedings{TristanGM11,
title = {Evaluating value-graph translation validation for LLVM},
author = {Jean-Baptiste Tristan and Paul Govereau and Greg Morrisett},
year = {2011},
doi = {10.1145/1993498.1993533},
url = {http://doi.acm.org/10.1145/1993498.1993533},
tags = {translation, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/TristanGM11},
cites = {0},
citedby = {0},
pages = {295-305},
booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
editor = {Mary W. Hall and David A. Padua},
publisher = {ACM},
isbn = {978-1-4503-0663-8},
}