Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

Explore a 31-minute conference talk from ACM SIGPLAN's LOPSTR23 event focusing on the design of Datalog templates for synthesizing bidirectional programs from tabular examples. Delve into the research presented by Bach Nguyen Trong, Kanae Tsushima, and Zhenjiang Hu as they discuss innovative approaches to program synthesis using Datalog. Gain insights into how tabular examples can be leveraged to create bidirectional programs, potentially revolutionizing the field of program transformation and data manipulation. Learn about the challenges and solutions in designing effective Datalog templates for this purpose, and understand the implications for future developments in programming language theory and practice.