One wonderful aspect of POPL is being able to speak to experts.
I've admired Nadia Polikarpova's synthesis work for a while, so I jumped at the opportunity to do a Synquid tutorial led by her!
https://popl20.sigplan.org/details/POPL-2020-tutorialfest/3/-T3-Synthesizing-Programs-from-Types