Where impossible is just an error code
An online hackathon on compilers and programming languages. Five weeks to build. Finalists present in person at IISc, Bengaluru on Oct 2–3, 2026
SegFault is organised as part of the Innovations In Compiler Technology workshop
Registrations are closed
Fully online·Compilers·Programming languages·Program analysis·LLVM · MLIR·Open to students & industry·Rolling shortlists·Finale at IISc Bengaluru·Fully online·Compilers·Programming languages·Program analysis·LLVM · MLIR·Open to students & industry·Rolling shortlists·Finale at IISc Bengaluru·
The format
Everything is online.Except the finale.
Build from anywhere. Only the finale is in person.
Fully onlineAug 1 – Oct 3, 2026
Anywhere001
No travel to take part.
Register, build and submit from your own machine.
Any city, any timezone. Nothing to book.
Entry002
Registrations have closed.
Sign-ups ended on Aug 15, 2026.
Shortlisted teams get their next steps by email.
Shortlists003
Announced as they land.
Teams are shortlisted as submissions come in, all through the five weeks.
Submit early, hear back early.
The finale004
One trip, at the end.
Finalists present in person at IISc, Bengaluru on Oct 2–3, 2026.
Their IICT workshop attendance is covered. Nothing before it needs a flight.
Tracks
Six problem statements.Eight open themes.
Every team picks exactly one of either: an official problem statement from the organizers, or an open theme with an idea of your own.
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Official problem statements
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Open themes
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Domain specific compilers and languages
Design and implement compilers and languages for a specific application or a specific piece of hardware.
- Compilers
- Programming languages
- eDSLs
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Compiler frameworks and tools
Work on the infrastructure itself: intermediate representations, program analysis, transformation tooling.
- Tools
- Static analysis
- Debugging
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Compilers and AI/ML
Use AI/ML to make compilers better, or compiler technology to make AI/ML workflows better.
- Machine learning
- Codegen
- Tooling
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Optimizing for the real world
Take software that already exists and make it run faster or leaner with compiler techniques.
- Auto-tuning
- Energy
- Edge
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Explainable compilers
Modern compilers are enormous black boxes. Make their decisions legible to the people using them.
- Visualisation
- Teaching
- Debugging
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Compilers for new paradigms
Build compilers or tooling for places compilers are only just arriving.
- Quantum
- eBPF
- Security
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Functional programming
Build using functional programming languages, or build the tooling that makes them better.
- OCaml
- Haskell
- Type systems
fn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x yfn pass ir ssa cfg type match emit let llvm opt loop { } => :: [] () * ; 01 10 x y
Open innovation
Build anything on compiler technology. If it does not fit the other tracks but it is compilers, it fits here.
- Anything compilers
- Your idea
One pick per team · a problem statement or a theme
Timeline
Two months, end to end.Here is how it runs.
Aug 1 – Oct 3, 2026. Fully online until the finale in Bengaluru.
Aug 1
Registrations open
Sign up as a team or solo. Nothing to build yet, just get on the list.
Aug 7
Problem statements and tracks announced
The real track list and problem statements land a week after sign-ups open.
Aug 15
Registrations close
Late entries are still accepted once hacking is underway.
Aug 15same day
Hacking begins
Five weeks, fully remote. Everything runs on your own machine.
Rollingcontinuous
Shortlists announced
Teams get shortlisted as submissions come in, instead of all at once on one date.
Sept 19–20
Final evaluation
Online judging across both days. The finalist list is locked by the end of it.
Oct 2–3
Grand finale at IICT
Finalists present in person at IISc Bengaluru, alongside the IICT workshop.
VenueA V Rama Rao Auditorium, Indian Institute of Science
Prizes
Cash for the top three teams.
₹2,00,000 in total, plus certificates and mentorship for everyone who takes part.
Total prize pool
₹2,00,000
Certificates
Every participant gets a certificate.
Mentorship
Sessions with compiler engineers working in industry.
Travel
Finalists' IICT workshop attendance is covered.
Hiring
Internship and job conversations with the sponsors.
Sponsors
Sponsors.
Host
SegFault is organised as part of the Innovations In Compiler Technology workshop.
FAQ
Questions people ask.
Yes. Registration, hacking, submissions and final evaluation all happen remotely, so you never have to travel to take part. The only in-person part is the grand finale on Oct 2–3, and that's for finalists.
Registration is free, and you don't have to be a student. In 2025 teams came from IITs and other colleges alongside working engineers, and solo entries did fine — three of the six finalists were teams of one.
Yes. Late registrations are accepted after hacking begins — you just get less time to build. All IP in what you build stays with your team.
On a rolling basis. Teams are shortlisted as their submissions come in, rather than all at once on a single announcement date. Submit early and you hear back early.
Five minutes to pitch in front of the jury, then two to three minutes of questions. Finalists attend the IICT workshop free. Travel can't be guaranteed, but reimbursements are offered to student attendees — reach out to the organisers. Accommodation at IISc isn't confirmed yet.
Email Ashutosh Pandey at ashutosh@compilertech.org, or reach the IICT workshop on LinkedIn or X.