BibTex format
@article{Liu:2012:10.1109/TC.2011.205,
author = {Liu, Q and Todman, T and Luk, W and Constantinides, GA},
doi = {10.1109/TC.2011.205},
journal = {IEEE TRANSACTIONS ON COMPUTERS},
pages = {1800--1812},
title = {Optimizing Hardware Design by Composing Utility-Directed Transformations},
url = {http://dx.doi.org/10.1109/TC.2011.205},
volume = {61},
year = {2012}
}