Implement an SSA-Based Sparse Conditional Constant Propagation Pass
Overview
What this challenge is about.
Implement SCCP on SSA IR: replace constants and remove dead blocks in one pass, then analyze reductions. Get a verifiable certificate.
The scenario
The vendor runs the edge JIT on USD 30M of annualized infrastructure spend — even a 2 percent instruction-count win is real money, and correctness regressions are non-negotiable.
The Brief
What you'll do, and what you'll demonstrate.
Implement SCCP on an existing SSA IR, prove static and dynamic instruction-count wins on a 240-program benchmark, and ship with zero conformance regressions.
Earning criteria — what you'll demonstrate
- Implement a combined value + reachability worklist algorithm
- Reason about lattices and meet operations on a real IR
- Validate optimizer correctness with a conformance suite
- Communicate optimization wins to a performance-driven team
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Aligned coursework coming soon.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
- Static Single Assignment
Apply static single assignment to solve real industry problems and demonstrate production-level capability.
- Dataflow Analysis
Apply dataflow analysis to solve real industry problems and demonstrate production-level capability.
- Constant Propagation
Apply constant propagation 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.
- Benchmarking
Apply benchmarking to solve real industry problems and demonstrate production-level capability.
- Intermediate Representation
Apply intermediate representation 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: