Program synthesis predates LLMs by many decades. But nowadays, indeed, many program synthesis tasks are tackled with LLMs

Good question: generating programs given some input about its expected behavior (e.g. a description, examples, formal logical properties)

This sounds great, let me DM you and will also share the link when ready

It looks like unfortunately not. But this is a talk I'm happy to give many times :), so if there is an opportunity at some point to coordinate for such a talk (virtual or in person), let me know!

I promise the talk will be better than my ability to read the calendar

Next Wednesday! My calendar reading skills are horrible.

This is the way

Beyond shocking