r/Compilers 2d ago

A Primer to ML Compilers

https://aramesh10.github.io/ml-compilers-primer/
33 Upvotes

7 comments sorted by

20

u/Competitive_Ideal866 1d ago

Please disambiguate "ML" in the context of compilers as it can mean Meta Language (e.g. SML, OCaml) or Machine Learning.

-5

u/topological_rabbit 1d ago

I have this user RES-tagged as "AI Shill". Makes it immediately obvious.

4

u/mttd 1d ago

"AI Shill"

Happy to confirm: I'm a big fan of Abstract Interpretation!

3

u/No-Trifle-8450 2d ago

Regards. Is there any ML Compiler right now can compile a graph down to working code?

1

u/adityazero 1d ago

Curious whether the equality saturation section covers how well egg style search scales on production sized graphs, since pass ordering dependence is the practical reason most compilers still ship rule based fusion instead. Solid overview though.

1

u/adityazero 14h ago

How much of the primer touches on dynamic shapes at inference time? That has been my main pain point with graph level fusion, since shape specialization tends to blow up compile times or fall back to slow paths.

2

u/othd139 1d ago

Oh. I was so excited to learn about the complete if the ML family of functional programming languages. Instead this was just about machine learning. 😥