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

Sun 14 Jun

PLOOC-2015-papers
09:00 - 11:00: PLOOC 2015 - Session1 at C120-C121
PLOOC-2015-papers09:00 - 09:05
Talk
Armando Solar-LezamaMIT, Rishabh SinghMicrosoft Research
PLOOC-2015-papers09:05 - 09:45
Talk
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
PLOOC-2015-papers09:45 - 10:25
Talk
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
PLOOC-2015-papers10:25 - 11:00
Talk
Jonathan ProtzenkoMicrosoft Research