I associate program synthesis pretty heavily with William Byrd following his demo in the second half of this talk:

https://youtu.be/OyfBQmvr2Hc?feature=shared&t=4656