Cross-Domain Compilation: Exploiting Synergies Across the CS Community
summary
Argues that MLIR turns many bespoke compilers into composable pieces and shows concrete work: a fast polyhedral math library for Presburger sets, a student-written LLHD simulator lowered to LLVM JIT that matches commercial simulators within an order of magnitude after LLHD to LLVM lowering, and tooling (PDL/IRDL) that makes many rewrites declarative. Reports ~27 dialects in the MLIR ecosystem with roughly 30% of operations describable fully declaratively, and a 2–3 month prototype that achieves production-like simulation performance.
AI-written summary · about
chapters (7)
- 0:00Start
- 9:18An MLIR Operation
- 10:26New Paradigm: Multi Abstraction Rewriting
- 14:18Operations on Integer Sets
- 19:24Redundancy in Hardware Design
- 37:32Building Open Communities
- 44:55Efficient Cross-Domain DSL Development for Exascale
related talks
11mEnabling Composition of Kernels and Compilers
25mNice to Meet You: Synthesizing Practical MLIR Abstract Transformers
15mDuplo: A Framework for OCaml Post-Link Optimisation
26mAn MLIR Dialect for WebAssembly
38mFireside chat
53mLLVM
29mPartially Evaluating Symbolic Interpreters for All
01h 05mSemantic Intermediate Representations for Sound Language Interoperability