Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Practical Formal Verification for MLIR Programs
Emily Tucker, Louis-Noël Pouchet, Erika Hunhoff +2
Optimizing compilers have become a cornerstone for high-performance program generation in research and industry. Optimizations, including those implemented manually by a user and t…
cs.AR2026
Fleet: Hierarchical Task-based Abstraction for Megakernels on Multi-Die GPUs
Sangeeta Chowdhary, Ryan Swann, Sean Siddens +7
Modern GPUs adopt chiplet-based designs with multiple private cache hierarchies, but current programming models (CUDA/HIP) expose a flat execution hierarchy that cannot express chi…