1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
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★ 1 cited
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…