CPSGrader: Formal Methods for Lab-Based MOOCs (PLOOC 2015 - (3rd Workshop on Programming Languages Technology for Massive Open Online Courses))

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

Who

Sanjit Seshia, Alexandre Donze, Jeff Jensen, Garvit Juniwal

Track

PLOOC 2015

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 14 Jun 2015 14:40 - 15:20 at C120-C121 - Session3

Abstract

At PLOOC 2013, we presented some technical challenges for creating a MOOC for “lab-based courses” such as those on Embedded Systems or Robotics. In this talk, we describe the progress we have made since, in teaching such a MOOC, deploying technologies for virtual lab environments, and using formal methods to design an automatic grading and feedback generation system.

Sanjit SeshiaPresenter

UC Berkeley

Alexandre Donze

University of California, Berkeley

Jeff Jensen

Momentum Machines

Garvit Juniwal