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

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