TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands
co-located with
ECOOP and ISSTA 2018
Toggle navigation
Attending
Venue: ISSTA Steering Committee Meeting
Restaurant: Cafe de Jaren
Venue: Uber
Venue: Mövenpick Hotel Amsterdam City Centre
Restaurant: Tobacco Theater
Restaurant: Zaalverhuur Pakhuis de Zwijger
Restaurant: De Koninklijke Industrieele Groote Club
Program
TAV-CPS/IoT Program
Your Program
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
TAV-CPS/IoT 2018
TAV-CPS/IoT
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Keynotes
ECOOP
Research Papers
ECOOP
Journal-First
ISSTA
ISSTA
ISSTA
Artifacts
ISSTA
Keynotes
ISSTA
Steering Committee Meeting (By Invitation Only)
ISSTA
Technical Papers
ISSTA
Tool Demonstrations
Workshops
BenchWork
COP
DPA
FTfJP
ICOOOLPS
INTUITESTBEDS
ISAGT
ML4PL
Panathon
SALAD
SOAP
VORTEX
WoSSCA
Organization
TAV-CPS/IoT 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
ECOOP Research Papers
ISSTA
Organizing Committee
ISSTA Artifacts
ISSTA Technical Papers
ISSTA Tool Demonstrations
Workshops
BenchWork
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
DPA
Organizing Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ISAGT
Organizing Committee
Program Committee
ML4PL
Organizing Committee
Program Committee
Panathon
Organizers
SALAD
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WoSSCA
Attendees
Program Committee
Organizing Committee
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2018
(
series
) /
TAV-CPS/IoT 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Matterhorn I
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Matterhorn I
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+02: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 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Track 1
CurryOn Curry On Talks
at
Matterhorn I
11:00
40m
Talk
Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra
CurryOn Curry On Talks
Bas Geerdink
ING
11:50
40m
Talk
ApacheSpark as a gateway drug to FP: Concepts taught & broken
CurryOn Curry On Talks
Holden Karau
Google
13:50 - 15:20
Track 1
CurryOn Curry On Talks
at
Matterhorn I
13:50
40m
Talk
Domain Specific Programming Platforms for Creativity
CurryOn Curry On Talks
Jennifer Mary Jacobs
Stanford
14:40
40m
Talk
Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
CurryOn Curry On Talks
Ron Pressler
15:55 - 17:25
Track 1
CurryOn Curry On Talks
at
Matterhorn I
15:55
40m
Talk
Spoofax: Live Programming Language Design
CurryOn Curry On Talks
Eelco Visser
Delft University of Technology
16:45
40m
Talk
Transducing for fun and profit
CurryOn Curry On Talks
Simon Belak
Metabase
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Track 1
CurryOn Curry On Talks
at
Matterhorn I
11:00
40m
Talk
Code into Data: Embedding programs into datastores with GraalVM
CurryOn Curry On Talks
Thomas Wuerthinger
Oracle Labs
11:50
40m
Talk
Challenges in Large-Scale Mobile App Performance
CurryOn Curry On Talks
Manu Sridharan
Uber
13:50 - 15:20
Track 1
CurryOn Curry On Talks
at
Matterhorn I
13:50
40m
Talk
Rethinking Modern Web Browsers
CurryOn Curry On Talks
Ben Livshits
Imperial College London, UK
14:40
40m
Talk
Lessons from a Big Data Machine Learning Startup
CurryOn Curry On Talks
Cliff Click
Self
15:55 - 17:25
Track 1
CurryOn Curry On Talks
at
Matterhorn I
15:55
40m
Talk
Do-It-Yourself Functional Reactive Programming
CurryOn Curry On Talks
Manuel Chakravarty
Tweag I/O & IOHK
16:45
40m
Talk
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Michael Arntzenius
University of Birmingham, UK
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn I
CurryOn Curry On Talks
Track 1
CurryOn Curry On Talks
Track 1
CurryOn Curry On Talks
Track 1
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn I
CurryOn Curry On Talks
Track 1
CurryOn Curry On Talks
Track 1
CurryOn Curry On Talks
Track 1
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Matterhorn I
CurryOn Curry On Talks
Streaming analytics: How to Get Fast Predictions From Real-Time Data wi ...
11:00 - 11:40
CurryOn Curry On Talks
ApacheSpark as a gateway drug to FP: Concepts taught & broken
11:50 - 12:30
CurryOn Curry On Talks
Domain Specific Programming Platforms for Creativity
13:50 - 14:30
CurryOn Curry On Talks
Finite of Sense and Infinite of Thought: A History of Computation, Logi ...
14:40 - 15:20
CurryOn Curry On Talks
Spoofax: Live Programming Language Design
15:55 - 16:35
CurryOn Curry On Talks
Transducing for fun and profit
16:45 - 17:25
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Matterhorn I
CurryOn Curry On Talks
Code into Data: Embedding programs into datastores with GraalVM
11:00 - 11:40
CurryOn Curry On Talks
Challenges in Large-Scale Mobile App Performance
11:50 - 12:30
CurryOn Curry On Talks
Rethinking Modern Web Browsers
13:50 - 14:30
CurryOn Curry On Talks
Lessons from a Big Data Machine Learning Startup
14:40 - 15:20
CurryOn Curry On Talks
Do-It-Yourself Functional Reactive Programming
15:55 - 16:35
CurryOn Curry On Talks
DB ⋈ FP = Datafun: a new functional query language
16:45 - 17:25
x
Sat 23 Nov 12:52