conftrace_

equivalence verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

tensor program (1) schedule transformation (1) kernel optimization (1) graph representation (1)

Papers

Mirage: A Multi-Level Superoptimizer for Tensor Programs OSDI 2025