fredrikbk

6 ms·

1. 1.▲
   by fredrikbk 9y ago

   That is correct (and we appreciate the citation). The tensor compiler (taco) has focused on compiling expressions that contain one or more sparse tensors so far and, even though it can generate code for dense expressions just fine, does not
2. 2.▲
   by fredrikbk 9y ago

   The story for sparse matrices is more complicated. Because of the dependencies imposes by sparse data structures (you don’t have random access and often have to traverse them) you cannot do loop ruling without adding if statements (I think
3. 3.▲
   by fredrikbk 9y ago

   We’ve tried to engineer it to emit clean code, but seems we left in some unused variables. The C compilers dead code elimination should remove those though.
4. 4.▲
   by fredrikbk 9y ago

   We currently compile to C code and use the system Compiler to compile it further. For dense loop nests it does a good job of auto-vectorizing, but we believe there’s good opportunities for doing something custom, knowing the high-level alge
5. 5.▲
   by fredrikbk 9y ago

   That is a good idea, but we are only so many. One student in the Julia group is developing Julia bindings though, and we hope to make C/python bindings. The inner workings are published in the paper “The Tensor Algebra Compiler”, so it
6. 6.▲
   by fredrikbk 9y ago

   Thanks, that is really nice of you :)
7. 7.▲
   by fredrikbk 9y ago

   For sure, as you point out, many such kernels have been written, going at least as far back as 1967. We believe our contribution is being able to generate kernels for all the expressions. Thanks for the reference though! We’re trying to lea
8. 8.▲
   by fredrikbk 9y ago

   I don't know of an explicit list like this, but some areas that we are particularly interested in are: data analytics (tensor factorization), machine learning (anything sparse including perhaps sparse neural networks), and scientific c
9. 9.▲
   by fredrikbk 9y ago

   Thanks! I really like that conference!
10. 10.▲
    by fredrikbk 9y ago

    Hi, that sounds very interesting and I hope someone works on it. We're only so many people though, and we have several things we want to do that will at least occupy us until next summer.
11. 11.▲
    by fredrikbk 9y ago

    Larry chose to focus on the big data part, because it is intuitive. But I think you're absolutely correct, that it has applications in physics/chemistry (and machine learning too). We're actually talking to people in our the
12. 12.▲
    by fredrikbk 9y ago

    Hi Hacker News! I’m one of the developers. This project was also featured in MIT News yesterday: http://news.mit.edu/2017/faster-big-data-analysis-tensor-alg... The code is available at: https://github.com&#
13. 13.▲
    by fredrikbk 10y ago

    Thanks! Yes, we have an `apps` directory in the source tree that we will add programs to. These programs are tested by our test suites, and will later be our performance regressions. I'm actually working with some people at Adobe this
14. 14.▲
    by fredrikbk 10y ago

    Very valid concerns. If you use C++ it's easy to interoperate with Simit, since Simit is a C++ library with an online compiler that compile the time steppers. You build the graph using a C++ api and then you run a Simit program which u
15. 15.▲
    by fredrikbk 10y ago

    We needed new language constructs (the matrix assembly) and a new type system for matrices that ties back to the graph to make it simple and fast. It is also not limited to FEM codes. It can be used to write any application that computes on
16. 16.▲
    by fredrikbk 10y ago

    It actually shares two authors (Jon and Saman). Their work on Halide was amazing!