Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 18 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
PLDI-A
PLDI-B

ARRAY 2017

09:00 - 18:00
PLDI-C

SOAP

09:00 - 18:00
PLDI-D

PLMW

09:00 - 18:00
PLDI-E

MAPL 2017

09:00 - 18:00
PLDI-F

ISMM 2017

09:00 - 18:00

Wed 21 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
LCTES-CoffeeBreaks

Catering

10:10 - 10:50

Catering

12:30 - 14:00

Catering

15:40 - 16:10
LCTES-MainTrack

LCTES 2017

09:00 - 10:10

LCTES 2017

10:50 - 12:30

LCTES 2017

14:00 - 15:40

LCTES 2017

16:10 - 17:00
PLDI-CoffeeBreaks
PLDI-MainTrack-A
PLDI-MainTrack-B

Thu 22 Jun 2017

Sun 18 Jun

pldi-2017-workshops-and-tutorials
09:00 - 12:00: Tutorials - P4: Programming the Network Data Plane at PLDI-A
pldi-2017-workshops-and-tutorials149776920000009:00 - 12:00
Other
pldi-2017-workshops-and-tutorials
14:00 - 18:00: Tutorials - Bug detection in JavaScript web apps using the SAFE framework at PLDI-A
pldi-2017-workshops-and-tutorials149778720000014:00 - 18:00
Other

Mon 19 Jun

pldi-2017-keynotes
09:00 - 09:05: Invited Speakers - Welcome at PLDI-MainTrack-A
Chair(s): Martin Vechev, Albert Cohen
pldi-2017-keynotes
09:05 - 10:00: Invited Speakers - Keynote 1 at PLDI-MainTrack-A
pldi-2017-keynotes149785590000009:05 - 10:00
Talk
pldi-2017-papers
10:00 - 10:30: Research Papers - 1' pitches of the day at PLDI-MainTrack-A
pldi-2017-catering
10:30 - 10:50: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149786100000010:30 - 10:50
Coffee break
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149786820000012:30 - 14:00
Lunch
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149787960000015:40 - 16:10
Coffee break
pldi-2017-keynotes
17:50 - 18:40: Invited Speakers - Keynote 2 at PLDI-MainTrack-A
pldi-2017-keynotes149788740000017:50 - 18:40
Talk
pldi-2017-catering
19:00 - 22:00: Catering - Social Event with Curry On (dinner provided) at PLDI-CoffeeBreaks
pldi-2017-catering149789160000019:00 - 22:00
Dinner

Tue 20 Jun

pldi-2017-keynotes
09:00 - 09:55: Invited Speakers - Keynote 3 at PLDI-MainTrack-A
pldi-2017-keynotes149794200000009:00 - 09:55
Talk
pldi-2017-papers
09:55 - 10:25: Research Papers - 1' pitches of the day and the next day at PLDI-MainTrack-A
pldi-2017-catering
10:25 - 10:50: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149794710000010:25 - 10:50
Coffee break
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149795460000012:30 - 14:00
Lunch
pldi-2017-papers
14:00 - 15:40: Research Papers - Functional Programming and Correctness at PLDI-MainTrack-B
pldi-2017-papers149796000000014:00 - 14:25
Talk
pldi-2017-papers149796150000014:25 - 14:50
Talk
pldi-2017-papers149796300000014:50 - 15:15
Talk
pldi-2017-papers149796450000015:15 - 15:40
Talk
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
pldi-2017-keynotes
17:00 - 18:00: Invited Speakers - Program Chair report and SIGPLAN Town Hall meeting at PLDI-MainTrack-A
pldi-2017-student-research-competition
17:30 - 20:00: Student Research Competition - Reception and SRC posters (finger food provided) at PLDI-CoffeeBreaks

Wed 21 Jun

pldi-2017-student-research-competition
09:00 - 10:40: Student Research Competition - SRC presentations at PLDI-MainTrack-B
pldi-2017-catering
10:50 - 11:10: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149803500000010:50 - 11:10
Coffee break
pldi-2017-artifact
11:10 - 12:30: Research Artifacts - Awards at PLDI-MainTrack-A
pldi-2017-catering
12:30 - 14:00: Catering - Lunch with ECOOP and LCTES (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149804100000012:30 - 14:00
Lunch

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 18:00: Tutorials - WALA Hack-A-Thon at PLDI-D
pldi-2017-workshops-and-tutorials149811480000009:00 - 18:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 12:00: Tutorials - Building your own modular static analyzer with Facebook Infer at PLDI-A
pldi-2017-workshops-and-tutorials149811480000009:00 - 12:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 12:00: Tutorials - Refinement Types for Program Verification and Synthesis at PLDI-E
pldi-2017-workshops-and-tutorials149811480000009:00 - 12:00
Other
Media Attached
pldi-2017-workshops-and-tutorials
14:00 - 18:00: Tutorials - Polyhedral Compilation at PLDI-A
pldi-2017-workshops-and-tutorials149813280000014:00 - 18:00
Other

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 18:00: Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at PLDI-F
pldi-2017-workshops-and-tutorials149820120000009:00 - 18:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 18:00: Tutorials - Engineering Static Analyzers with Soufflé at PLDI-D
pldi-2017-workshops-and-tutorials149820120000009:00 - 18:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 18:00: Tutorials - Writing Verified Programs in CakeML at PLDI-E
pldi-2017-workshops-and-tutorials149820120000009:00 - 18:00
Other
Link to publication
pldi-2017-workshops-and-tutorials
09:00 - 12:00: Tutorials - Graal: High Performance Compilation for Managed Languages at PLDI-A
pldi-2017-workshops-and-tutorials149820120000009:00 - 12:00
Other

Sun 18 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
PLDI-A

Mon 19 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
PLDI-CoffeeBreaks
PLDI-MainTrack-A
PLDI-MainTrack-B

Tue 20 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
PLDI-CoffeeBreaks
PLDI-MainTrack-A
PLDI-MainTrack-B

Thu 22 Jun 2017

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscirption service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)