(3rd Workshop on Programming Languages Technology for Massive Open Online Courses)PLOOC 2015
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:
Sun 14 JunDisplayed time zone: Tijuana, Baja California change
09:00 - 11:00 | |||
09:00 5mTalk | Opening and Welcome PLOOC | ||
09:05 40mTalk | 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 40mTalk | 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 35mTalk | Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM PLOOC |
11:20 - 12:30 | |||
11:30 40mTalk | 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 | |||
14:00 40mTalk | 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 40mTalk | 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 | |||
16:00 40mTalk | 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 40mTalk | Making Proof Tutors out of Proof Assistants PLOOC | ||
17:20 40mTalk | 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 |
Accepted Papers
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