Efficient Kernel Synthesis for Performance Portable Programming