[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis | ACM SIGPLAN | Podwise