An Auto-Programming Approach to Vulkan