MLIR concepts such as match-and-rewrite and staged lowering correspond to established formal theories, providing a basis for more principled abstraction design in compiler infrastructure.
Polyblocks: A compiler infrastructure for ai chips and programming frameworks
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Reading AI Model Compilation in MLIR Through the Lens of Formal Theories
MLIR concepts such as match-and-rewrite and staged lowering correspond to established formal theories, providing a basis for more principled abstraction design in compiler infrastructure.