Write a Blog >>
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Sun 18 - Fri 23 June 2017
Barcelona, Spain
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Hotels
Anti-Harassment Policy
Program
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
No calls yet
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
DEBS
DEBS
DEBS
10 Years Time Award
DEBS
2018 Address
DEBS
Banquet
DEBS
Business Meeting
DEBS
Closing
DEBS
Doctoral Symposium
DEBS
Grand Challenge
DEBS
Invited Speakers
DEBS
Posters & Demos
DEBS
Research Papers
DEBS
Tutorials
DEBS
Welcome
DEBS
Workshop
DEBS
Registration
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Invited Speakers
ECOOP
Research Papers
ECOOP
Workshops
ECOOP
Doctoral Symposium
ECOOP
Student Volunteers
ECOOP
Summer School
ISMM
ISMM
ISMM
LCTES
PLDI
PLDI
PLDI
Invited Speakers
PLDI
Research Papers
PLDI
Research Artifacts
PLDI
Student Research Competition
PLDI
Student Volunteers
PLDI
Workshops
PLDI
Tutorials
Workshops
ARRAY
COP
-17
DSW
FTfJP
IC
ICOOOLPS
IWACO
JSTools
MAPL
PLMW
PMLDC
SOAP
VORTEX
17
WCIRE
Organization
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Committees
Organizing Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
DEBS
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
ECOOP Research Papers
ECOOP Workshops
ECOOP Doctoral Symposium
Academic Panel
ECOOP Doctoral Symposium
Invited Speakers
ECOOP Doctoral Symposium
Program Committee
ECOOP Summer School
Speakers
ECOOP Summer School
Mentors
ECOOP Summer School
Organizers
ISMM
Organizing Committee
Steering Committee
Program Committee
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
PLDI
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Workshops
ARRAY
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
DSW
Organizing Committee
FTfJP
Program Committee
IC
Keynote speaker
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JSTools
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
PLMW
Mentors
PMLDC
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WCIRE
Organizing Committee
Search
Series
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
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 23 Dec 06:38