PLDI 2015
Sat 13 - Wed 17 June 2015
Portland, Oregon, United States
Toggle navigation
Attending
Venue: Oregon Convention Center
Venue: Exchange Ballroom
Hotel and Travel Information
Student Travel Support
Registration
SIGPLAN Conference Anti-Harassment Policy
Student Volunteers
Program
PLDI Program
Your Program
Sat 13 Jun
Sun 14 Jun
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Tracks
PLDI 2015
FCRC Plenary Speakers
Artifact Evaluation
Tutorials
Research Papers
Student Research Competition
Workshops
ARRAY
ARRAY
ARRAY
CHIUW
CHIUW
CHIUW
PLOOC
PLOOC
PLOOC
SOAP
SOAP
SOAP
WAX
WOW
X10
X10
X10
Co-hosted Symposia
Scala
Scala
Scala
Organization
PLDI 2015 Committees
Organizing Committee
Track Committees
Artifact Evaluation
Research Papers
Program Committee
Research Papers
External Review Committee
Contributors
People Index
Workshops
ARRAY
Program Committee
CHIUW
Program Committee
PLOOC
Program Committee
SOAP
Program Committee
WAX
Organizers
Program Committee
WOW
Program Committee
X10
Program Committee
Co-hosted Symposia
Scala
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2015
(
series
) /
Oregon Convention Center
/
Room information: C120-C121
Venue
Oregon Convention Center
Room name
C120-C121
Floor
1
Room number
C120-C121
Capacity
71
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
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 1
WAX
at
C120-C121
11:20 - 12:30
Lightning Talks and Discussion Prep
WAX
at
C120-C121
14:00 - 15:30
Report-Outs and Papers Session 2
WAX
at
C120-C121
16:00 - 18:00
Papers Session 3 and Closing
WAX
at
C120-C121
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Session1
PLOOC
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
Session2
PLOOC
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
Session3
PLOOC
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
Session4
PLOOC
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
C120-C121
WAX
9:30am: Opening and Papers Session 1
WAX
Lightning Talks and Discussion Prep
WAX
Report-Outs and Papers Session 2
WAX
Papers Session 3 and Closing
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
C120-C121
PLOOC
Session1
PLOOC
Session2
PLOOC
Session3
PLOOC
Session4
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
C120-C121
PLOOC
Opening and Welcome
09:00 - 09:05
PLOOC
Bug Localization with Statistical Models
09:05 - 09:45
PLOOC
AutomataTutor and what I learned from building an online teaching tool
09:45 - 10:25
PLOOC
Touchdevelop on the BBC’s microbit Going from a blocks programming lang ...
10:25 - 11:00
PLOOC
The Hint Mechanism in Code Hunt
11:30 - 12:10
PLOOC
Functional Programming For All! Scaling a MOOC for Students and Profess ...
14:00 - 14:40
PLOOC
CPSGrader: Formal Methods for Lab-Based MOOCs
14:40 - 15:20
PLOOC
Personalized Mathematical Word Problem Generation
16:00 - 16:40
PLOOC
Making Proof Tutors out of Proof Assistants
16:40 - 17:20
PLOOC
OverCode: Visualizing Variation in Student Solutions to Programming Pro ...
17:20 - 18:00
x
Thu 21 Nov 09:49