Massive open online courses present a broad set of challenges ranging from automated grading and feedback, automatic problem generation, plagiarism detection, as well as new issues such as how to enhance collaboration and peer tutoring across the web. After two successful previous editions of the workshop, the workshop will continue its agenda on exploring new formal methods technologies related to specification, verification, and synthesis that can be applied to solve some of these problems in the context of MOOCS, and how these technologies can be leveraged and enhanced in the traditional classroom. We are interested in application of these technologies to a wide variety of subject domains including programming, logic, automata theory, mathematics, and science.

The workshop will bring together researchers primarily from the programming languages community as well as researchers from HCI, education technology together with instructors who have experienced teaching MOOCs. The idea is to highlight some of the pain points that could be addressed by verification and synthesis technologies, and to bring together ideas on how to address these problems. The workshop will include 25 minute talks (20 + 5) discussing new work and ideas in this area, as well as invited talks on challenges and open problems and plenty of time for questions and discussion.

For past PLOOC workshops see:

http://people.csail.mit.edu/asolar/plooc2014/

http://people.csail.mit.edu/asolar/plooc2013/

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
11:20 - 12:30
Session2PLOOC at C120-C121
11:30
40m
Talk
The Hint Mechanism in Code Hunt
PLOOC
P: Daniel Perelman University of Washington, USA, Judith Bishop Microsoft Research, Sumit Gulwani Microsoft Research, Dan Grossman University of Washington
14:00 - 15:30
Session3PLOOC at C120-C121
14:00
40m
Talk
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
PLOOC
P: Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Lukas Rytz Typesafe, Martin Odersky Ecole Polytechnique Federale de Lausanne
14:40
40m
Talk
CPSGrader: Formal Methods for Lab-Based MOOCs
PLOOC
P: Sanjit Seshia UC Berkeley, Alexandre Donze University of California, Berkeley, Jeff Jensen Momentum Machines, Garvit Juniwal UC Berkeley
16:00 - 18:00
Session4PLOOC at C120-C121
16:00
40m
Talk
Personalized Mathematical Word Problem Generation
PLOOC
P: Alex Polozov University of Washington, Eleanor O'Rourke University of Washington, Adam Smith University of Washington, Luke Zettlemoyer University of Washington, Sumit Gulwani Microsoft Research, Zoran Popovic University of Washington
16:40
40m
Talk
Making Proof Tutors out of Proof Assistants
PLOOC
P: Peter-Michael Osera University of Pennsylvania, Steve Zdancewic
17:20
40m
Talk
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
PLOOC
Elena Glassman MIT, Jeremy Scott MIT, P: Rishabh Singh Microsoft Research, Philip Guo University of Rochester, Robert Miller MIT

Call for Papers

We are now accepting 1-page proposals for 30-minute talks presenting relevant work in this area. The proposal should include a brief summary of the proposed talk and any relevant references (those can be in a separate page). The deadline for submissions is March 27.

Submission Link: https://easychair.org/conferences/?conf=plooc2015