3 ms·

This web page is also the first I've heard of Halide and Polyhedral Compilation. This is exciting to me because I've been working on relational (database) data

This web page is also the first I've heard of Halide and Polyhedral Compilation. This is exciting to me because I've been working on relational (database) data and logic comprehensions, and in a case of convergent evolution Halide looks a lot like my notation and Polyhedral Compilation looks much like diagrams I've been drawing on my whiteboard. Where can I learn more on this?

ozinenko 9y ago
The paper has a couple of useful references. Otherwise, we have a site with general information on polyhedral compilation http://polyhedral.info/ http://polyhedral.info/ and Halide has its own site http://halide-lang.org/ http://halide-lang.org/
nicovasilache 9y ago
@phaedrus take a look at Weld from Stanford then, may also be useful to you. Edit: in addition to what @ozinenko pointed to of course..
richardlethin 9y ago
The TC paper uses techniques that are in the R-Stream compiler. You can get more information about the R-Stream compiler at https://www.reservoir.com/research/publications/?cat=35 https://www.reservoir.com/research/publications/?cat=35 - the first paper there also validates the use of polyhedral compilation for deep learning last year. I particularly recommend the article about R-Stream in the Encyclopedia of Parallel Compilation, David Padua (ed). https://www.reservoir.com/publication/r-stream-compiler-2/ https://www.reservoir.com/publication/r-stream-compiler-2/
richardlethin 9y ago
The R-Stream Encyclopedia article talks about how to raise to the polyhedral model from SSA; this is no problem especially for the super regular computations in Tensor computations used in deep learning. If you get in touch with me I can also get you a copy of the 2008 paper about R-Stream that described it: https://www.reservoir.com/publication/final-report-r-stream-3-0-compiler/ https://www.reservoir.com/publication/final-report-r-stream-... By raising from C you don't need to use or learn a new language. Or one can generate C from a succinct notation or framework, and polyhedral optimize from there. That is what was in the R-Stream-TF paper.
- aray 9y ago
  Is this paper published yet? The `Article` link doesn't go anywhere, and Google Scholar doesn't know where to find a copy.
richardlethin 9y ago
Also, we're hiring: https://www.reservoir.com/company/careers/ https://www.reservoir.com/company/careers/

ozinenko 9y ago

The paper has a couple of useful references. Otherwise, we have a site with general information on polyhedral compilation http://polyhedral.info/ http://polyhedral.info/ and Halide has its own site http://halide-lang.org/ http://halide-lang.org/

nicovasilache 9y ago

@phaedrus take a look at Weld from Stanford then, may also be useful to you. Edit: in addition to what @ozinenko pointed to of course..

richardlethin 9y ago

The TC paper uses techniques that are in the R-Stream compiler. You can get more information about the R-Stream compiler at https://www.reservoir.com/research/publications/?cat=35 https://www.reservoir.com/research/publications/?cat=35 - the first paper there also validates the use of polyhedral compilation for deep learning last year. I particularly recommend the article about R-Stream in the Encyclopedia of Parallel Compilation, David Padua (ed). https://www.reservoir.com/publication/r-stream-compiler-2/ https://www.reservoir.com/publication/r-stream-compiler-2/

richardlethin 9y ago

The R-Stream Encyclopedia article talks about how to raise to the polyhedral model from SSA; this is no problem especially for the super regular computations in Tensor computations used in deep learning. If you get in touch with me I can also get you a copy of the 2008 paper about R-Stream that described it: https://www.reservoir.com/publication/final-report-r-stream-3-0-compiler/ https://www.reservoir.com/publication/final-report-r-stream-... By raising from C you don't need to use or learn a new language. Or one can generate C from a succinct notation or framework, and polyhedral optimize from there. That is what was in the R-Stream-TF paper.

aray 9y ago
Is this paper published yet? The `Article` link doesn't go anywhere, and Google Scholar doesn't know where to find a copy.

richardlethin 9y ago

Also, we're hiring: https://www.reservoir.com/company/careers/ https://www.reservoir.com/company/careers/