Program Synthesis Courses
ACM SIGPLAN via YouTube Explainable Program Synthesis by Localizing Specifications
ACM SIGPLAN via YouTube Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
ACM SIGPLAN via YouTube Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
ACM SIGPLAN via YouTube Data Extraction via Semantic Regular Expression Synthesis
ACM SIGPLAN via YouTube Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
ACM SIGPLAN via YouTube Message Chains for Distributed System Verification
ACM SIGPLAN via YouTube Synthesizing Efficient Memoization Algorithms
ACM SIGPLAN via YouTube Equality Saturation Theory Exploration à la Carte
ACM SIGPLAN via YouTube Type-Directed Synthesis of Visualizations from Natural Language Queries
ACM SIGPLAN via YouTube