Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

Browse the full ECOOP paper archive.