Designing a Unified Programming Model for Heterogeneous Machines