Sun 14 Jun 2015 09:05 - 09:45 at C120-C121 - Session1

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: Session1PLOOC at C120-C121
09:00 - 09:05
Talk
PLOOC
P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05 - 09:45
Talk
PLOOC
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
09:45 - 10:25
Talk
PLOOC
P: Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
10:25 - 11:00
Talk
PLOOC
P: Jonathan ProtzenkoMicrosoft Research