Accelerating Habanero-Java programs with OpenCL generation
ABCD: eliminating array bounds checks on demand