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: (GMT-07:00) Tijuana, Baja California change

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