To paraphrase Shakespeare: a rose by another name will stink. 😂

Generally a traditional compiler uses “syntax driven” translation, but a synthesizer need not do so.

Does probabilistic sampling count as “search” ?

What do you mean by “program synthesis” @alphaconvert.bsky.social ?

AI Compiler research intern positions at NVIDIA (Seattle). Functional programming, polyhedral compilation, program synthesis, compiler optimization. Send resume to compiler-jobs@Nvidia.com

Yeah that is the way to get you back for a second internship.. 😎

Link?

Happy to announce that our work on Pattern Matching in AI Compilers and its Formalization has been accepted at CGO 25!

Joint work with @alphaconvert.bsky.social Alex Collins, Bin Fan and Mahesh Ravishankar