Lab report evaluated: 

Niranjan Hasabnis, Rui Qiao, R. Sekar, “Checking correctness of code generator architecture specifications”, Code Generation and Optimization (CGO) 2015 IEEE/ACM International Symposium on, pp. 167-178, 2015. 

This entry is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International license.