Program Synthesis

AutoCS
The Automatic Computer Scientist
Andrew Cropper, Céline Hocquette, Filipe Gouveia
GOLEM
Automated Programming To Revolutionize App Development