Program Synthesis Courses
ACM SIGPLAN via YouTube Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
ACM SIGPLAN via YouTube Herb.jl: Teaching Programs How to Program with Program Synthesis
The Julia Programming Language via YouTube Analogical Reasoning Engines: Flash Fill vs GPT-4 - Keynote
Conference on Computer-Aided Verification via YouTube