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

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

17:00 - 18:00
Synthesis IIResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Martin Vechev ETH Zurich
17:00
30m
Talk
Synthesizing Transformations on Hierarchically Structured Data
Research Papers
Navid Yaghmazadeh University of Texas, Austin, Christian Klinger University of Texas, Austin, Isil Dillig University of Texas, Austin, Swarat Chaudhuri Rice University
Media Attached
17:30
30m
Talk
Program Synthesis from Polymorphic Refinement Types
Research Papers
Nadia Polikarpova MIT CSAIL, USA, Ivan Kuraj MIT CSAIL, USA, Armando Solar-Lezama MIT
Media Attached