[arnioxux]

His previous post was probably the best overview on program synthesis paradigms (circa 2015):

https://homes.cs.washington.edu/~bornholt/post/synthesis-exp...

It's a much broader overview of the field so read that first if you need an intro!

[apskim]

And if you want a deeper dive after that, here's a 100-page survey of all the techniques, principles, and applications of program synthesis circa 2017:

https://www.microsoft.com/en-us/research/publication/program...