Program Synthesis Courses
Neurosymbolic Programming for Science via YouTube Natural Language Supervision for Deep Learning - Toward Language-Guided Training
Neurosymbolic Programming for Science via YouTube Equivalence by Canonicalization for Synthesis-Backed Refactoring
ACM SIGPLAN via YouTube ImageEye: Batch Image Processing using Program Synthesis
ACM SIGPLAN via YouTube Leveraging Rust Types for Program Synthesis
ACM SIGPLAN via YouTube Conflict-Driven Synthesis for Layout Engines
ACM SIGPLAN via YouTube Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24
ACM SIGPLAN via YouTube A Historical Perspective on Program Transformation and Recent Developments
ACM SIGPLAN via YouTube Optimal Program Synthesis via Abstract Interpretation - POPL 2024
ACM SIGPLAN via YouTube Bi-abductive Adversarial Program Synthesis
ACM SIGPLAN via YouTube