VenueOregon Convention Center
Room nameC120-C121
Floor1
Room numberC120-C121
Capacity71
Room InformationNo extra information available
Program

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

Sat 13 Jun

Displayed time zone: Tijuana, Baja California change

09:30 - 11:00
9:30am: Opening and Papers Session 1WAX at C120-C121
11:20 - 12:30
Lightning Talks and Discussion PrepWAX at C120-C121
14:00 - 15:30
Report-Outs and Papers Session 2WAX at C120-C121
16:00 - 18:00
Papers Session 3 and ClosingWAX at C120-C121

Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
Session1PLOOC at C120-C121
09:00
5m
Talk
Opening and Welcome
PLOOC
P: Armando Solar-Lezama MIT, P: Rishabh Singh Microsoft Research
09:05
40m
Talk
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
40m
Talk
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
35m
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan Protzenko Microsoft Research
11:20 - 12:30
Session2PLOOC at C120-C121
11:30
40m
Talk
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
Session3PLOOC at C120-C121
14:00
40m
Talk
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
40m
Talk
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
Session4PLOOC at C120-C121
16:00
40m
Talk
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
40m
Talk
Making Proof Tutors out of Proof Assistants
PLOOC
P: Peter-Michael Osera University of Pennsylvania, Steve Zdancewic
17:20
40m
Talk
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

Sat 13 Jun

Displayed time zone: Tijuana, Baja California change

Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
C120-C121