Overview
Explore a groundbreaking synthesis-based approach for batch image processing in this 20-minute video presentation from PLDI 2023. Discover how the innovative ImageEye tool enables fine-grained edits to individual objects within images, surpassing the limitations of existing tools that only apply global edits. Learn about the neuro-symbolic domain-specific language (DSL) that combines pre-trained neural networks for image classification with symbolic reasoning constructs. Understand the novel synthesis algorithm that allows ImageEye to automatically learn programs from user demonstrations. Delve into the evaluation results showing ImageEye's impressive 96% success rate in automating 50 image editing tasks. Gain insights from the research team at the University of Texas at Austin and Purdue University as they present their work on this cutting-edge program synthesis technique for computer vision applications.
Syllabus
[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis
Taught by
ACM SIGPLAN