PLDI 2018
Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Venue: Hilton Philadelphia at Penn's Landing
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Program
Complete Program
Your Program
Mon 18 Jun
Tue 19 Jun
Wed 20 Jun
Thu 21 Jun
Fri 22 Jun
Tracks
PLDI 2018
PLDI Research Papers
PLDI Invited Speakers
Student Research Competition (SRC)
Student Volunteers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
LCTES
LCTES
Workshops
ARRAY
DeepSpec
FMS
MAPL
PLMW @ PLDI
Organization
PLDI 2018
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Student Research Competition Committee
Artifact Evaluation Committee
Distinguished Paper Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DeepSpec
Organizing Committee
Program Committee
FMS
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
Steering Committee
PLMW @ PLDI
Organizing Committee
Speakers
Search
Series
Series
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2018
(
series
) /
Catering
PLDI 2018
About
Program
Lunch, Diner, Coffee-breaks
Accepted Papers
Title
Break
Breakfast
Dinner
Lunch
Display in different time zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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:00) 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) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : 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+02:00) Windhoek
(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+03: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+07: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+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Dates
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Mon 18 Jun
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
pldi-2018-catering
08:00 - 09:00:
Catering
- Breakfast at
Columbus Ballroom Foyer
pldi-2018-catering
08:00 - 09:00
Other
Breakfast
pldi-2018-catering
10:30 - 11:00:
Catering
- Coffee Break at
Columbus Ballroom Foyer
pldi-2018-catering
10:30 - 11:00
Coffee break
Break
pldi-2018-catering
12:15 - 14:00:
Catering
- Lunch at
Grand Ballroom BCD
pldi-2018-catering
12:15 - 14:00
Lunch
Lunch
pldi-2018-catering
15:40 - 16:10:
Catering
- Coffee Break at
Columbus Ballroom Foyer
pldi-2018-catering
15:40 - 16:10
Coffee break
Break
pldi-2018-catering
18:00 - 19:00:
Catering
- Social Hour at
Grand Ballroom Foyer
Tue 19 Jun
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
pldi-2018-catering
08:00 - 09:00:
Catering
- Breakfast at
Columbus Ballroom Foyer
pldi-2018-catering
08:00 - 09:00
Other
Breakfast
pldi-2018-catering
10:30 - 11:00:
Catering
- Coffee Break at
Columbus Ballroom Foyer
pldi-2018-catering
10:30 - 11:00
Coffee break
Break
pldi-2018-catering
12:15 - 14:00:
Catering
- Lunch at
Grand Ballroom CD
pldi-2018-catering
12:15 - 14:00
Lunch
Lunch
pldi-2018-catering
15:40 - 16:10:
Catering
- Coffee Break at
Columbus Ballroom Foyer
pldi-2018-catering
15:40 - 16:10
Coffee break
Break
pldi-2018-catering
17:30 - 18:30:
Catering
- Social Hour at
Grand Ballroom Foyer
Wed 20 Jun
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
pldi-2018-catering
08:00 - 08:45:
Catering
- Breakfast at
Grand Ballroom Foyer
pldi-2018-catering
08:00 - 08:45
Other
Breakfast
pldi-2018-catering
10:30 - 11:00:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
10:30 - 11:00
Coffee break
Break
pldi-2018-catering
12:15 - 14:00:
Catering
- Lunch at
Columbus Ballroom
pldi-2018-catering
12:15 - 14:00
Lunch
Lunch
pldi-2018-catering
15:40 - 16:10:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
15:40 - 16:10
Coffee break
Break
Thu 21 Jun
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
pldi-2018-catering
08:00 - 09:00:
Catering
- Breakfast at
Grand Ballroom Foyer
pldi-2018-catering
08:00 - 08:45
Other
Breakfast
pldi-2018-catering
10:30 - 11:00:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
10:30 - 11:00
Coffee break
Break
pldi-2018-catering
12:30 - 14:00:
Catering
- Lunch (note late start) at
Columbus Ballroom
pldi-2018-catering
12:30 - 14:00
Lunch
Lunch
pldi-2018-catering
15:40 - 16:10:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
15:40 - 16:10
Coffee break
Break
pldi-2018-catering
17:00 - 18:00:
Catering
- Social Hour at
Grand Ballroom Foyer
Fri 22 Jun
Times are displayed in time zone:
(GMT-04:00) Eastern Time (US & Canada)
change
pldi-2018-catering
08:00 - 09:00:
Catering
- Breakfast at
Grand Ballroom Foyer
pldi-2018-catering
08:00 - 09:00
Other
Breakfast
pldi-2018-catering
10:30 - 11:00:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
10:30 - 11:00
Coffee break
Break
pldi-2018-catering
12:15 - 14:00:
Catering
- Lunch at
Columbus Ballroom
pldi-2018-catering
12:15 - 14:00
Lunch
Lunch
pldi-2018-catering
15:40 - 16:10:
Catering
- Coffee Break at
Grand Ballroom Foyer
pldi-2018-catering
15:40 - 16:10
Coffee break
Break
Not scheduled yet
pldi-2018-catering
Not scheduled yet
Dinner
Dinner
x
Thu 1 Oct 07:33