-
Notifications
You must be signed in to change notification settings - Fork 184
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Taco Grammar #533
Comments
Some other papers of the TACO project also contain parts of the grammar. For example, Automatic Generation of Efficient Sparse Tensor Format Conversion Routines (PLDI 20') contains the grammar for "attribute query language", and Compilation of Sparse Array Programming Models (OOPSLA 21') contains definitions for sparse array programming like "Annihilator" which you may come across when going through TACO's code base. I'm also new to TACO. Hope these papers can help you. |
Thank you, @zhang677! I've also found the paper Tensor Algebra Compilation with Workspaces (CGO'19) that depicts a grammar (Fig 3.). Said grammar is for concrete index notation though. |
You're welcome, @JWesleySM! Yeah, concrete index notation is part of TACO's grammar. The whole process of TACO can be found in Fig 1-5 of Fredrik's Ph.D. Thesis. |
Is there an official grammar for the tensor index notation used by taco expressions?
I have found and read the one at Section 4.2 of Kjølstad's Ph.D. Thesis, but I'm not sure whether it represents the current state of taco.
The text was updated successfully, but these errors were encountered: