Vx – One Language, Every Chip

Vx is a heterogeneous-systems programming language that puts placement and reachability in the type system. Dereferencing a device pointer from the host is a compile error, not a segfault.