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]
Abstract is missing.