Sun 14 Jun 2015 10:25 - 11:00 at C120-C121 - Session1

In this talk, I will talk about the BBC’s microbit, a small device that features a minimalist processor with 16kB of RAM. These devices are usually for seasoned developers with soldering irons and oscilloscopes; this time, however, the device targets a million kids between ages 11 and 12 with no prior experience. The talk will illustrate how we brought the complexity down, the programming model we offer, the learning choices we made, and will hopefully feature a demo if I manage to get my board working!

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-Lezama MIT, P: Rishabh Singh Microsoft Research
09:05
40m
Talk
Bug Localization with Statistical Models
PLOOC
Pavol Bielik ETH Zurich, Svetoslav Karaivanov ETH Zurich, P: Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich, Christine Zeller ETH Zurich
09:45
40m
Talk
AutomataTutor and what I learned from building an online teaching tool
PLOOC
P: Loris D'Antoni University of Pennsylvania, Rajeev Alur University of Pennsylvania, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign, Sumit Gulwani Microsoft Research, Bjoern Hartmann UC Berkeley, Matthew Weaver University 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 Protzenko Microsoft Research