A programming language for hardware accelerators

It’s still early days, but in addition to the paper the Exo language project lives here: https://exo-lang.dev

You can think of this as an attempt to take our idea of a “user-schedulable language” from Halide much farther, both in the core scheduling mechanisms, and in turning more of the rest of the compiler inside out for programmer control.