Thu 16 Jun 2016 17:00 - 17:30 at Grand Ballroom Santa Ynez - Synthesis II Chair(s): Martin Vechev

This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees (HDTs) and present a novel example-driven synthesis algorithm for HDT transformations. Our central insight is to reduce the problem of synthesizing tree transformers to the synthesis of list transformations that are applied to the paths of the tree. The synthesis problem over lists is solved using a new algorithm that combines SMT solving and decision tree learning. We have implemented our technique in a system called HADES and show that HADES can automatically synthesize a variety of interesting transformations collected from online forums.

Thu 16 Jun

pldi-2016-papers
17:00 - 18:00: Research Papers - Synthesis II at Grand Ballroom Santa Ynez
Chair(s): Martin VechevETH Zurich
pldi-2016-papers146608920000017:00 - 17:30
Talk
Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2016-papers146609100000017:30 - 18:00
Talk
Nadia PolikarpovaMIT CSAIL, USA, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT
Media Attached