Ideas for Connecting Inductive Program Synthesis and Bidirectionalization

The paper is available via the ACM DL Author-ize feature:

ACM DL Author-ize service Ideas for Connecting Inductive Program Synthesis and Bidirectionalization

Author: J. Voigtländer
Published: In Workshop on Partial Evaluation and Program Manipulation (PEPM'12, acceptance rate 19/37), Philadelphia, Pennsylvania, Proceedings, pages 39-42, ACM, January 2012.
DOI: 10.1145/2103746.2103757
BibTeX: Voi12a.bib
Abstract: We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of the former. This research perspective does not present accomplished results, rather opening discussion and describing experiments designed to explore the potential of inductive program synthesis for bidirectionalization (the act of automatically producing a backwards from a forwards transformation), in particular to address the issue of integrating programmer intentions and expectations.
Download: http://dl.acm.org/authorize?6544522 (free)
Slides: Slides of my talk at the conference are here.