Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Sponsoring
Registration
Visas
Hotels
Student Travel Support
Internet on site
Social Event
Program
PLDI Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI 2017
PLDI Invited Speakers
PLDI Research Papers
PLDI Research Artifacts
PLDI Student Research Competition
Student Volunteers
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
DSW
IC
MAPL
PLMW
SOAP
WCIRE
Organization
PLDI 2017 Committees
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Steering Committee
Program Committee
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DSW
Organizing Committee
IC
Keynote speaker
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
PLMW
Mentors
SOAP
Organizing Committee
Program Committee
WCIRE
Organizing 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, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Actes, Informatics Building
Venue
Universitat Politècnica de Catalunya
Room name
Actes, Informatics Building
Floor
0
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06: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-04: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+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+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
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:00 - 15:40
Monday - 15:00 - 15:40 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
15:00
40m
Talk
Clojure Transducers In The Wild
CurryOn Curry On Talks
Renzo Borgatti
Mailonline
16:10 - 18:30
Monday - 16:10 - 18:30 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
16:10
40m
Talk
How types can turn a SQL interpreter into a SQL compiler
CurryOn Curry On Talks
Tiark Rompf
Purdue University
17:00
40m
Talk
Orchestrate ING with Petri Net
CurryOn Curry On Talks
Adil Akhter
ING
17:50
40m
Talk
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
CurryOn Curry On Talks
Manuel Chakravarty
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:25 - 12:45
Tuesday - 10:25 - 12:45 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
10:25
40m
Talk
The Joy of Vector Programming: Why Vector Programming Matters
CurryOn Curry On Talks
Dave Thomas
Kx Systems
11:15
40m
Talk
Helping communities & products thrive by fostering empathy
CurryOn Curry On Talks
Erik Romijn
12:05
40m
Talk
The CernVM File System - Beyond Static Content Distribution
CurryOn Curry On Talks
Radu Popescu
CERN
13:50 - 15:30
Tuesday - 13:50 - 15:20 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
13:50
40m
Talk
Modular Composition of Reactive Applications
CurryOn Curry On Talks
Mira Mezini
TU Darmstadt
14:40
40m
Talk
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
CurryOn Curry On Talks
Sztefan Edwards
nVisium LLC
16:00 - 18:20
Tuesday - 16:00 - 18:20 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
16:00
40m
Talk
Computational Musicology, ????, Profit
CurryOn Curry On Talks
Chris Ford
ThoughtWorks (UK) Ltd.
16:50
40m
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
CurryOn Curry On Talks
Jurriaan Hage
Utrecht University
17:40
40m
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
CurryOn Curry On Talks
Michael Steindorfer
Delft University of Technology, Netherlands
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
Actes, Informatics Building
CurryOn Curry On Talks
Monday - 15:00 - 15:40 - Sala Agora
CurryOn Curry On Talks
Monday - 16:10 - 18:30 - Sala Agora
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Actes, Informatics Building
CurryOn Curry On Talks
Tuesday - 10:25 - 12:45 - Sala Agora
CurryOn Curry On Talks
Tuesday - 13:50 - 15:20 - Sala Agora
CurryOn Curry On Talks
Tuesday - 16:00 - 18:20 - Sala Agora
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Actes, Informatics Building
CurryOn Curry On Talks
Clojure Transducers In The Wild
15:00 - 15:40
CurryOn Curry On Talks
How types can turn a SQL interpreter into a SQL compiler
16:10 - 16:50
CurryOn Curry On Talks
Orchestrate ING with Petri Net
17:00 - 17:40
CurryOn Curry On Talks
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Fu ...
17:50 - 18:30
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
18:00
15
30
45
Actes, Informatics Building
CurryOn Curry On Talks
The Joy of Vector Programming: Why Vector Programming Matters
10:25 - 11:05
CurryOn Curry On Talks
Helping communities & products thrive by fostering empathy
11:15 - 11:55
CurryOn Curry On Talks
The CernVM File System - Beyond Static Content Distribution
12:05 - 12:45
CurryOn Curry On Talks
Modular Composition of Reactive Applications
13:50 - 14:30
CurryOn Curry On Talks
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to ...
14:40 - 15:20
CurryOn Curry On Talks
Computational Musicology, ????, Profit
16:00 - 16:40
CurryOn Curry On Talks
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
16:50 - 17:30
CurryOn Curry On Talks
With Age comes Beauty - Past, Present, and Future of Efficient Immutabl ...
17:40 - 18:20
x
Mon 30 Dec 19:07