Niranjan Hasabnis, Rui Qiao, R. Sekar. Checking correctness of code generator architecture specifications. In Kunle Olukotun, Aaron Smith, Robert Hundt, Jason Mars, editors, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015, San Francisco, CA, USA, February 07 - 11, 2015. pages 167-178, ACM, 2015. [doi]
@inproceedings{HasabnisQS15,
title = {Checking correctness of code generator architecture specifications},
author = {Niranjan Hasabnis and Rui Qiao and R. Sekar},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2738622},
researchr = {https://researchr.org/publication/HasabnisQS15},
cites = {0},
citedby = {0},
pages = {167-178},
booktitle = {Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015, San Francisco, CA, USA, February 07 - 11, 2015},
editor = {Kunle Olukotun and Aaron Smith and Robert Hundt and Jason Mars},
publisher = {ACM},
isbn = {978-1-4799-8161-8},
}