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

Conference Day
Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
Session1PLOOC at C120-C121
09:00
5m
Talk
Opening and Welcome
PLOOC
P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05
40m
Talk
Bug Localization with Statistical Models
PLOOC
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
09:45
40m
Talk
AutomataTutor and what I learned from building an online teaching tool
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
35m
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan ProtzenkoMicrosoft Research