Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Tue 20 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
CurryOn-A

Research Papers

09:00 - 18:00
DEBS-A
DEBS-B
DEBS-CoffeeBreaks

Catering

10:30 - 11:00

Catering

12:30 - 14:00

Catering

15:30 - 16:00
ECOOP-CoffeeBreaks

Catering

Lunch
12:30 - 14:00
ECOOP-E

COP-17

Session 1
09:00 - 10:30

COP-17

Session 2
11:00 - 12:30

COP-17

Session 3
14:00 - 15:30

COP-17

Session 4
16:00 - 18:00
ECOOP-F

FTfJP 2017

09:00 - 10:30

FTfJP 2017

11:00 - 12:30

FTfJP 2017

14:00 - 15:30

FTfJP 2017

16:00 - 18:00
ECOOP-G

PMLDC 2017

09:00 - 10:30

PMLDC 2017

11:00 - 12:30

PMLDC 2017

14:00 - 15:30

PMLDC 2017

16:00 - 18:00
ECOOP-H

VORTEX17

09:00 - 10:30

VORTEX17

11:00 - 12:30

VORTEX17

14:00 - 15:30

VORTEX17

16:00 - 18:00
PLDI-CoffeeBreaks
PLDI-MainTrack-A
PLDI-MainTrack-B

Sun 18 Jun

ismm-2017-papers
08:30 - 08:45: ISMM 2017 - Opening at ISMM-A
Chair(s): Christoph Kirsch
SOAP-2017-papers
08:30 - 08:45: SOAP - Opening at PLDI-C
SOAP-2017-papers
08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at PLDI-C
SOAP-2017-papers149776830000008:45 - 09:30
Talk
array-2017
09:00 - 18:00: ARRAY 2017 - ARRAY at PLDI-B
array-2017149776920000009:00 - 10:00
Talk
array-2017149777280000010:00 - 10:30
Talk
array-2017149777640000011:00 - 11:30
Talk
array-2017149777820000011:30 - 12:00
Talk
array-2017149778000000012:00 - 12:30
Talk
array-2017149778720000014:00 - 15:00
Talk
Pre-print
array-2017149779080000015:00 - 15:30
Talk
array-2017149779440000016:00 - 16:30
Talk
array-2017149779620000016:30 - 17:00
Talk
array-2017149779980000017:30 - 18:00
Talk
array-2017149780160000018:00 - 18:15
Day closing
ecoop-2017-Doctoral-Symposium
09:00 - 10:30: Doctoral Symposium - Session 1 at ECOOP-A
ecoop-2017-Doctoral-Symposium149776920000009:00 - 09:10
Talk
ecoop-2017-Doctoral-Symposium149776980000009:10 - 09:30
Talk
ecoop-2017-Doctoral-Symposium149777100000009:30 - 10:00
Talk
ecoop-2017-Doctoral-Symposium149777280000010:00 - 10:30
Talk
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
ismm-2017-catering
10:30 - 11:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149777460000010:30 - 11:00
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149777460000010:30 - 11:00
Coffee break
ecoop-2017-Doctoral-Symposium
11:00 - 12:30: Doctoral Symposium - Session 2 at ECOOP-A
ecoop-2017-Doctoral-Symposium149777640000011:00 - 11:30
Talk
ecoop-2017-Doctoral-Symposium149777820000011:30 - 12:00
Talk
ecoop-2017-Doctoral-Symposium149778000000012:00 - 12:30
Talk
ismm-2017-papers
11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at ISMM-A
Chair(s): Michael Bond
ismm-2017-papers149777640000011:00 - 11:30
Talk
ismm-2017-papers149777820000011:30 - 12:00
Talk
ismm-2017-papers149778000000012:00 - 12:30
Talk
SOAP-2017-papers
11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at PLDI-C
SOAP-2017-papers149777640000011:00 - 11:45
Talk
ismm-2017-catering
12:30 - 14:00: Catering - Lunch at ISMM-CoffeeBreaks
ismm-2017-catering149778180000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 13:30: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149778180000012:30 - 13:30
Lunch
ecoop-2017-Doctoral-Symposium
13:30 - 15:00: Doctoral Symposium - Session 3 at ECOOP-A
ecoop-2017-Doctoral-Symposium149778540000013:30 - 14:00
Talk
ecoop-2017-Doctoral-Symposium149778720000014:00 - 14:30
Talk
ecoop-2017-Doctoral-Symposium149778900000014:30 - 15:00
Talk
SOAP-2017-papers
14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at PLDI-C
SOAP-2017-papers149778720000014:00 - 14:45
Talk
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
SOAP-2017-papers
14:45 - 15:30: SOAP - Soundness and Precision at PLDI-C
SOAP-2017-papers149778990000014:45 - 15:07
Talk
DOI
SOAP-2017-papers149779125000015:07 - 15:30
Talk
DOI
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149779080000015:00 - 15:30
Coffee break
ismm-2017-catering
15:30 - 16:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149779260000015:30 - 16:00
Coffee break
ecoop-2017-Doctoral-Symposium
15:30 - 17:50: Doctoral Symposium - Session 4 at ECOOP-A
ecoop-2017-Doctoral-Symposium149779260000015:30 - 16:00
Talk
ecoop-2017-Doctoral-Symposium149779440000016:00 - 16:30
Talk
ecoop-2017-Doctoral-Symposium149779620000016:30 - 17:00
Talk
ecoop-2017-Doctoral-Symposium149779800000017:00 - 17:40
Talk
ecoop-2017-Doctoral-Symposium149780040000017:40 - 17:50
Talk
ismm-2017-papers
16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at ISMM-A
ismm-2017-papers149779440000016:00 - 16:30
Talk
ismm-2017-papers149779620000016:30 - 17:00
Talk
ismm-2017-papers149779800000017:00 - 17:30
Talk
SOAP-2017-papers
16:00 - 16:20: SOAP - Benchmarking at PLDI-C
SOAP-2017-papers149779440000016:00 - 16:20
Talk
DOI
SOAP-2017-papers
16:20 - 18:00: SOAP - Open Discussion at PLDI-C

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 - Martin Abadi 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
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149786100000010:30 - 11:00
Coffee break
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149786820000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149786820000012:30 - 14:00
Lunch
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149787900000015:30 - 16:00
Coffee break
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 - Martin Odersky (joint with Curry On) 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

COP-2017-papers
09:00 - 10:30: COP-17 - Session 1 at ECOOP-E
COP-2017-papers149794200000009:00 - 09:15
Day opening
COP-2017-papers149794290000009:15 - 10:15
Talk
COP-2017-papers149794650000010:15 - 10:30
Other
debs-2017-Tutorials
09:00 - 10:30: Tutorials - Sliding-Window Aggregation Algorithms at DEBS-B
debs-2017-Tutorials149794200000009:00 - 10:30
Talk
debs-2017-Tutorials
09:00 - 10:30: Tutorials - Complex Event Recognition Languages at DEBS-A
debs-2017-Tutorials149794200000009:00 - 10:30
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
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149794740000010:30 - 11:00
Coffee break
debs-2017-Tutorials
11:00 - 12:30: Tutorials - Complex Event Recognition Languages at DEBS-A
debs-2017-Tutorials149794920000011:00 - 12:30
Talk
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149795460000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149795460000012:30 - 14:00
Lunch
debs-2017-Tutorials
14:00 - 15:30: Tutorials - Reflections on Almost Two Decades of Research into Stream Processing at DEBS-B
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
debs-2017-Tutorials
14:00 - 15:30: Tutorials - Human-body Related Event Processing at DEBS-A
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
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
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149796540000015:30 - 16:00
Coffee break
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at PLDI-CoffeeBreaks
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
COP-2017-papers
16:00 - 18:00: COP-17 - Session 4 at ECOOP-E
COP-2017-papers149796720000016:00 - 16:30
Talk
COP-2017-papers149796900000016:30 - 18:00
Other
debs-2017-Tutorials
16:00 - 17:30: Tutorials - Human-body Related Event Processing at DEBS-A
debs-2017-Tutorials149796720000016:00 - 17:30
Talk
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
LCTES-2017-papers
09:00 - 09:15: LCTES 2017 - Opening at LCTES-MainTrack
LCTES-2017-catering
10:15 - 10:50: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149803290000010:15 - 10:50
Coffee break
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
LCTES-2017-catering
12:30 - 14:00: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149804100000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch with ECOOP and LCTES (provided) at PLDI-CoffeeBreaks
pldi-2017-catering149804100000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149804100000012:30 - 14:00
Lunch
ecoop-2017-Invited-Speakers
14:00 - 15:00: Invited Speakers - Keynote at ECOOP-MainTrack-A
Chair(s): Peter Müller
ecoop-2017-Invited-Speakers149804640000014:00 - 15:00
Talk
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at LCTES-MainTrack
LCTES-2017-papers149804640000014:00 - 15:00
Other
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Other
LCTES-2017-papers149804640000014:00 - 15:00
Other
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-papers149804640000014:00 - 15:00
Talk
LCTES-2017-catering
15:00 - 15:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149805000000015:00 - 15:30
Coffee break
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149805000000015:00 - 15:30
Coffee break

Thu 22 Jun

dsw-2017-papers
09:00 - 18:00: DSW 2017 - Academic hypervisor project; panel at PLDI-C
ecoop-2017-Invited-Speakers
09:00 - 10:00: Invited Speakers - Dahl-Nygaard Senior Prize at ECOOP-MainTrack-A
Chair(s): Eric Jul
ecoop-2017-Invited-Speakers149811480000009:00 - 10:00
Talk
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
LCTES-2017-catering
10:00 - 10:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149811840000010:00 - 10:30
Coffee break
ecoop-2017-catering
10:00 - 10:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149811840000010:00 - 10:30
Coffee break
LCTES-2017-catering
12:10 - 13:40: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149812620000012:10 - 13:40
Lunch
ecoop-2017-catering
12:10 - 13:40: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149812620000012:10 - 13:40
Lunch
pldi-2017-workshops-and-tutorials
14:00 - 18:00: Tutorials - Polyhedral Compilation at PLDI-A
pldi-2017-workshops-and-tutorials149813280000014:00 - 18:00
Other
ecoop-2017-catering
15:20 - 15:50: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149813760000015:20 - 15:50
Coffee break

Fri 23 Jun

ecoop-2017-Invited-Speakers
09:00 - 10:00: Invited Speakers - Dahl-Nygaard Junior Prize at ECOOP-MainTrack-A
Chair(s): Eric Jul
ecoop-2017-Invited-Speakers149820120000009:00 - 10:00
Talk
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 - 18:00: Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at PLDI-B
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 - 12:00: Tutorials - Graal: High Performance Compilation for Managed Languages at PLDI-A
pldi-2017-workshops-and-tutorials149820120000009:00 - 12:00
Other
ecoop-2017-catering
10:00 - 10:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149820480000010:00 - 10:30
Coffee break
ecoop-2017-catering
12:10 - 13:40: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149821260000012:10 - 13:40
Lunch
ecoop-2017-catering
15:20 - 15:50: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149822400000015:20 - 15:50
Coffee break

Sun 18 Jun 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
ECOOP-A
ECOOP-CoffeeBreaks
ISMM-A
ISMM-CoffeeBreaks
PLDI-A
PLDI-B
PLDI-C

Mon 19 Jun 2017

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

Tue 20 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
DEBS-A
DEBS-B
ECOOP-CoffeeBreaks
ECOOP-E
09:00 - 09:15
10:15 - 10:30
16:30 - 18:00
PLDI-CoffeeBreaks
PLDI-MainTrack-A
PLDI-MainTrack-B

Wed 21 Jun 2017

Room9:0015304510:0015304511:00