selected publications academic article Automated design of OpenCL programs based on algebra-algorithmic approach 2019