3 papers
cs.PL2024
The MLIR Transform Dialect. Your compiler is more powerful than you think
Martin Paul Lücke, Oleksandr Zinenko, William S. Moses +2
To take full advantage of a specific hardware target, performance engineers need to gain control on compilers in order to leverage their domain knowledge about the program and hard…
cs.SC2024
Strided Difference Bound Matrices
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko +1
A wide range of symbolic analysis and optimization problems can be formalized using polyhedra. Sub-classes of polyhedra, also known as sub-polyhedral domains, are sought for their…
cs.PL2024
Transform Dialect Tutorial
Oleksandr Zinenko
Transform Dialect in MLIR provides operations that can be used to control transformation of the Intermediate Representation (IR) using a different portion of the IR. It refers to t…