(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 Jun Times are displayed in time zone: Tijuana, Baja California change
09:00 - 09:05 Talk | Opening and Welcome PLOOC | ||
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 |
11:30 - 12:10 Talk | The Hint Mechanism in Code Hunt PLOOC P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington |
14:00 - 14:40 Talk | Functional Programming For All! Scaling a MOOC for Students and Professionals Alike PLOOC P: Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne | ||
14:40 - 15:20 Talk | CPSGrader: Formal Methods for Lab-Based MOOCs PLOOC P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley |
16:00 - 16:40 Talk | Personalized Mathematical Word Problem Generation PLOOC P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington | ||
16:40 - 17:20 Talk | Making Proof Tutors out of Proof Assistants PLOOC | ||
17:20 - 18:00 Talk | OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale PLOOC Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT |
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