Overview
What this challenge is about.
Design a polyhedral loop-tiling MLIR pass, benchmark cache-miss reductions, and deliver a design document. Earn a verifiable certificate.
The scenario
The vendor (Series B, CHF 40M raised) wins or loses sales demos on numerical performance — 30 percent end-to-end speedup on a customer model is a renewal lever.
The Brief
What you'll do, and what you'll demonstrate.
Design and prototype a polyhedral loop-tiling strategy for a tensor DSL, measured on 8 programs with cache-miss and end-to-end speedup metrics.
Earning criteria — what you'll demonstrate
- Apply polyhedral or affine loop-tiling techniques to a real IR
- Reason about cache locality via measured miss rates, not heuristics alone
- Work inside the MLIR ecosystem on a non-trivial pass
- Design and document a tile-size selection heuristic
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Advanced Compilers and Program Optimization
Master · Programming Languages
Strong alignment
This challenge maps to Advanced Compilers and Program Optimization at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
- Polyhedral Analysis
Apply polyhedral analysis to solve real industry problems and demonstrate production-level capability.
- Loop Tiling
Apply loop tiling to solve real industry problems and demonstrate production-level capability.
- Mlir
Apply mlir to solve real industry problems and demonstrate production-level capability.
- Loop Optimization
Apply loop optimization to solve real industry problems and demonstrate production-level capability.
- Benchmarking
Apply benchmarking to solve real industry problems and demonstrate production-level capability.
- Compiler Passes
Apply compiler passes to solve real industry problems and demonstrate production-level capability.
Careers
Career paths this challenge builds toward
Completing this challenge demonstrates skills that transfer directly to these roles: