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:

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

Sun 14 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

09:00 - 11:00: PLOOC 2015 - Session1 at C120-C121
PLOOC-2015-papers09:00 - 09:05
Armando Solar-LezamaMIT, Rishabh SinghMicrosoft Research
PLOOC-2015-papers09:05 - 09:45
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
PLOOC-2015-papers09:45 - 10:25
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
PLOOC-2015-papers10:25 - 11:00
Jonathan ProtzenkoMicrosoft Research
11:20 - 12:30: PLOOC 2015 - Session2 at C120-C121
PLOOC-2015-papers11:30 - 12:10
Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington
14:00 - 15:30: PLOOC 2015 - Session3 at C120-C121
PLOOC-2015-papers14:00 - 14:40
Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
PLOOC-2015-papers14:40 - 15:20
Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
16:00 - 18:00: PLOOC 2015 - Session4 at C120-C121
PLOOC-2015-papers16:00 - 16:40
Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
PLOOC-2015-papers16:40 - 17:20
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
PLOOC-2015-papers17:20 - 18:00
Elena GlassmanMIT, Jeremy ScottMIT, 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: