PLDI 2015 (series) / PLOOC 2015 (series) /
PLOOC 2015 Program
This is the PLOOC 2015 program - see the full program for PLDI 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JunDisplayed time zone: Tijuana, Baja California change
Sun 14 Jun
Displayed 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 | ||