Modern Program Synthesis