PLDI 2015 (series) / PLOOC 2015 (series) / (3rd Workshop on Programming Languages Technology for Massive Open Online Courses) /
CPSGrader: Formal Methods for Lab-Based MOOCs
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.
Sun 14 Jun
14:00 - 14:40 Talk | 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 | Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley |