Overview
What this challenge is about.
Stand up a Csmith-based generator producing 200,000+ random valid C programs over the campaign. Differential-test the target backend against a baseline C compiler (matching optimization levels). Triage failures into clusters by minimized reproducer, root cause, and affected pass. Use C-Reduce to minimize each finding to under 50 lines while preserving the bug. Deliver 8 minimized reproducers, a triage spreadsheet, a 4-page campaign report, and 8 upstream-ready bug reports with hypothesized root causes.
The Brief
What you'll do, and what you'll demonstrate.
Run a 2-week differential-fuzzing campaign on a production C backend and deliver at least 8 minimized, upstream-ready miscompilation reports.
Earning criteria — what you'll demonstrate
- Set up a Csmith + differential-testing pipeline at scale
- Cluster crashes intelligently to avoid duplicate bug reports
- Use C-Reduce to produce upstream-quality minimized test cases
- Communicate compiler bugs in a way maintainers act on
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
Careers
Roles this prepares you for.
Real titles. Real skill bridges. Pick the one closest to your trajectory.
Career mappings coming soon.