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

Thu 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

17:00 - 18:00
Synthesis IIResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Martin VechevETH Zurich
17:00
30m
Talk
Synthesizing Transformations on Hierarchically Structured Data
Research Papers
Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University
Media Attached
17:30
30m
Talk
Program Synthesis from Polymorphic Refinement Types
Research Papers
Nadia PolikarpovaMIT CSAIL, USA, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT
Media Attached