Scalable conditional induction variables (CIV) analysis

Article Details
Title:	Scalable conditional induction variables (CIV) analysis
Article URLs:	https://doi.org/10.1109/CGO.2015.7054201 http://doi.ieeecomputersociety.org/10.1109/CGO.2015.7054201 http://dl.acm.org/citation.cfm?id=2738627
Alternative Article URLs:
Authors:	Cosmin E. Oancea	University of Copenhagen, Department of Computer Science
Authors:	Lawrence Rauchwerger	Texas A & M University, Department of Computer Science and Engineering
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	0702765, 0551685, 0833199, 1439145, 1423111, 0830753, 0917266
DBLP Key:	conf/cgo/OanceaR15
Author Comments:

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