Research papers on ML in Compilers
github.com
Research papers on ML in Compilers
1–10 of 27 posts
Re: Research papers on ML in Compilers
#2Note that this refers to ML as in machine learning and not the ML language family, as I hoped.
Re: Research papers on ML in Compilers
#3Note that this refers to ML as in machine learning and not the ML language family, as I hoped.
[deleted]
Re: Research papers on ML in Compilers
#4Note that this refers to ML as in machine learning and not the ML language family, as I hoped.
Me too :(.
Re: Research papers on ML in Compilers
#5I know it is irrational - as compilers already perform optimizations that are non intuitive - but my lizard brain really doesn’t like the idea of ML possibly changing semantics at a layer that is unobservable.
Re: Research papers on ML in Compilers
#6I know it is irrational - as compilers already perform optimizations that are non intuitive - but my lizard brain really doesn’t like the idea of ML possibly changing semantics at a layer that is unobservable.
Yeah, funny enough I was reading the “coding machines” short story yesterday after someone linked it and I had a bit of a giggle imagining the sentient compiler here.
Re: Research papers on ML in Compilers
#7I know it is irrational - as compilers already perform optimizations that are non intuitive - but my lizard brain really doesn’t like the idea of ML possibly changing semantics at a layer that is unobservable.
This sort of work isn't going "i dunno, emit some new instructions based on a model and hope it is correct." ML techniques fall into one of two categories:
1. Decisions that have no semantic change in the program but affect performance. This is things like code layout or register allocation that will be more cache friendly. This is what I expect to show up in industrial optimizing compilers more and more over the next bunch of years.
2. Decisions where you can prove that the new code sequence is semantically identical to the original code sequence via some formal technique. This is basically the same as various superoptimization techniques but with a new search strategy and therefore no new concerns about correctness. I'd expect this to remain niche and only used offline to generate particularly optimized sequences in extremely hot and small code paths.
Re: Research papers on ML in Compilers
#8I'd be more interested in the reverse, that is compiler and PL techniques applied to machine learning.
Re: Research papers on ML in Compilers
#9Note that this refers to ML as in machine learning and not the ML language family, as I hoped.
What a cool language!
Re: Research papers on ML in Compilers
#10There is a mathematical description of programming compilers I read once (think it was a survey paper) that I found very clear but I've never been able to find since. Basically defined a compiler as a type of function. Any good suggestions?