Program Synthesis Courses
ACM SIGPLAN via YouTube Towards a Language-parametric DSL for Refactoring - Short Paper
ACM SIGPLAN via YouTube Semantic Code Refactoring for Abstract Data Types
ACM SIGPLAN via YouTube Fusing Direct Manipulations into Functional Programs
ACM SIGPLAN via YouTube API-Driven Program Synthesis for Testing Static Typing Implementations
ACM SIGPLAN via YouTube Efficient Bottom-Up Synthesis for Programs with Local Variables
ACM SIGPLAN via YouTube Synthesis 2 - Session Preview
ACM SIGPLAN via YouTube Toward Probabilistic Coarse-to-Fine Program Synthesis
ACM SIGPLAN via YouTube Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
ACM SIGPLAN via YouTube Automated Translation of Functional Big Data Queries to SQL
ACM SIGPLAN via YouTube