We introduce a code generator that converts unoptimized C++ code operati...
Interval computation is widely used to certify computations that use flo...
Communicating linear algebra in written form is challenging: mathematici...
The performance of graph programs depends highly on the algorithm, the s...
We address the problem of optimizing mixed sparse and dense tensor algeb...
Many graph problems can be solved using ordered parallel graph algorithm...
Many graph problems can be solved using ordered parallel graph algorithm...
The performance bottlenecks of graph applications depend not only on the...
This paper introduces Tiramisu, a polyhedral framework designed to gener...
This paper introduces Tiramisu, an optimization framework designed to
ge...
This paper shows how to optimize sparse tensor algebraic expressions by
...
Recent advances in compiler theory describe how to compile sparse tensor...
High-performance DSL developers work hard to take advantage of modern
ha...
Sympiler is a domain-specific code generator that optimizes sparse matri...