Improving programmability of heterogeneous many-core systems via explicit platform descriptions