George C. Necula. Translation validation for an optimizing compiler. In PLDI. pages 83-94, 2000. [doi]
@inproceedings{Necula00,
title = {Translation validation for an optimizing compiler},
author = {George C. Necula},
year = {2000},
doi = {10.1145/349299.349314},
url = {http://doi.acm.org/10.1145/349299.349314},
tags = {optimization, translation, C++, compiler},
researchr = {https://researchr.org/publication/Necula00},
cites = {0},
citedby = {0},
pages = {83-94},
booktitle = {PLDI},
}