Checking correctness of code generator architecture specifications

Article Details
Title:	Checking correctness of code generator architecture specifications
Article URLs:	https://doi.org/10.1109/CGO.2015.7054197 http://doi.ieeecomputersociety.org/10.1109/CGO.2015.7054197 http://dl.acm.org/citation.cfm?id=2738622
Alternative Article URLs:
Authors:	Niranjan Hasabnis	Stony Brook University
	Rui Qiao	Stony Brook University
	R. Sekar	Stony Brook University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61503
Artifact Correspondence Email Addresses:
NSF Award Numbers:	0831298, 1319137
DBLP Key:	conf/cgo/HasabnisQS15
Author Comments:

IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015