Checking correctness of code generator architecture specifications

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]

Authors

Niranjan Hasabnis

This author has not been identified. Look up 'Niranjan Hasabnis' in Google

Rui Qiao

This author has not been identified. Look up 'Rui Qiao' in Google

R. Sekar

This author has not been identified. Look up 'R. Sekar' in Google