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

Conference Day
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

Conference Day
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-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05
40m
Talk
Bug Localization with Statistical Models
PLOOC
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
09:45
40m
Talk
AutomataTutor and what I learned from building an online teaching tool
PLOOC
P: 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
10:25
35m
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan ProtzenkoMicrosoft Research
11:20 - 12:30
Session2PLOOC at C120-C121
11:30
40m
Talk
The Hint Mechanism in Code Hunt
PLOOC
P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity 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 MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
14:40
40m
Talk
CPSGrader: Formal Methods for Lab-Based MOOCs
PLOOC
P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
16:00 - 18:00
Session4PLOOC at C120-C121
16:00
40m
Talk
Personalized Mathematical Word Problem Generation
PLOOC
P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
16:40
40m
Talk
Making Proof Tutors out of Proof Assistants
PLOOC
P: Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
17:20
40m
Talk
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
PLOOC
Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT

Conference Day
Sat 13 Jun

Displayed time zone: Tijuana, Baja California change

Conference Day
Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

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