OpenCL supports binary kernels. See section 5.4.1 of the 1.0 specification and the clCreateProgramWithBinary command. It is true that the IL is not portable and that it may be invalidated for any...