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

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