Program Synthesis Courses
ACM SIGPLAN via YouTube Language Model Agents Enable Semi-Formal Programming - LIVE23
ACM SIGPLAN via YouTube Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples
ACM SIGPLAN via YouTube Machine Learning Meets Program Synthesis - TutorialFest at POPL'24
ACM SIGPLAN via YouTube Semi-Automated Direction-Driven Functional Conversion - miniKanren'23
ACM SIGPLAN via YouTube Towards Higher-level Abstractions for Molecular Programming
ACM SIGPLAN via YouTube PL4XGL: A Programming Language Approach to Explainable Graph Learning
ACM SIGPLAN via YouTube Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
ACM SIGPLAN via YouTube One Pixel Adversarial Attacks via Sketched Programs
ACM SIGPLAN via YouTube Trace-Guided Inductive Synthesis of Recursive Functional Programs
ACM SIGPLAN via YouTube