Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)