A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
68
stars
10
forks
source link
integration with Bernstein/Liu's ATL (A Tensor Language) #175
ATL is a language developed by Gilbert Bernstein and Amanda Liu at MIT. It is a scheduling-level tensor language. It would be very interesting to compile to ATL from Glenside, or even to incorporate a subset of ATL into Glenside to do rewriting over ATL without having to use Coq.
ATL is a language developed by Gilbert Bernstein and Amanda Liu at MIT. It is a scheduling-level tensor language. It would be very interesting to compile to ATL from Glenside, or even to incorporate a subset of ATL into Glenside to do rewriting over ATL without having to use Coq.