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

AutomataTutor is an online tool that helps students learn basic concepts in theory of computation, such as fi nite automata and regular expressions. The tool provides personalized feedback when students submit incorrect solutions, and also helps teachers managing large classes by automatically grading homework assignments. AutomataTutor has already been used by more than 2000 students at 12 diff erent Universities in 4 di fferent continents. In this paper, we summarize our experience in building such a system. We describe the algorithms that are used to produce personalized feedback, and then evaluate the tool and its features through extensive user studies involving hundreds of participants.

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
Opening and Welcome
PLOOC
P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05 - 09:45
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 - 10:25
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 - 11:00
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan ProtzenkoMicrosoft Research