‹Programming› 2018
Mon 9 - Thu 12 April 2018
Nice, France
Toggle navigation
Attending
Venue: Boscolo B4 Plaza, Nice
Banquet: Plage Beau Rivage
Registration
Accommodation
Reaching the conference
Visa Information
Visiting Nice
Students
Sponsorship
Program
Complete Program
Your Program
Confero Mobile Program
Mon 9 Apr
Tue 10 Apr
Wed 11 Apr
Thu 12 Apr
Tracks
‹Programming› 2018
Keynotes
Research Papers
Workshops
Posters
Student Research Competition
Social Events
Organizational
Workshops
Bx
LASSY
(cancelled)
MoreVMs
PASS
PX/18
ProWeb
Programming for the Large
(cancelled)
Salon des Refusés
Co-hosted Coding Dojos
CoCoDo
Organization
‹Programming› 2018 Committees
Organizing Committee
Steering Committee
Student Grants Committee
Track Committees
Research Papers
Workshops
Student Research Competition
Jury
Organizing Committee
Program Committee
Contributors
People Index
Workshops
Bx
Programme Committee
Organizing Committee
LASSY
Organizing Committee
Program Committee
MoreVMs
Program Committee
Organizing Committee
PASS
Organizing Committee
Program Committee
PX/18
Organizing Committee
Program Committee
ProWeb
Organizing Committee
Program Committee
Programming for the Large
Organizing Committee
Program Committee
Salon des Refusés
Programme Committee
Co-hosted Coding Dojos
CoCoDo
Organizing Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2018
(
series
) /
Boscolo B4 Plaza, Nice
/
Room information: Matisse
Venue
Boscolo B4 Plaza, Nice
Room name
Matisse
Floor
0
Capacity
70
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-05: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-03: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 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 10:30
CoCoDo morning
CoCoDo
at
Matisse
08:45
15m
Day opening
CoCoDo opening and introductions
CoCoDo
Vadim Zaytsev
Raincode Labs, Belgium
09:00
90m
Talk
FunCons
CoCoDo
Peter D. Mosses
Swansea University
11:00 - 12:30
CoCoDo pre-lunch
CoCoDo
at
Matisse
11:00
90m
Talk
JastAdd
CoCoDo
Jesper Oqvist
Lund University
14:30 - 16:00
CoCoDo post-lunch
CoCoDo
at
Matisse
14:30
90m
Talk
Rascal
CoCoDo
Anya Helene Bagge
University of Bergen
16:30 - 18:00
CoCoDo afternoon
CoCoDo
at
Matisse
16:30
30m
Talk
How to double embed the general-purpose language of your embedded DSL for expressivity, performance and profit
CoCoDo
Johan Fabry
Raincode Labs, Belgium
17:00
30m
Talk
The Game of Programmer vs. IDE
CoCoDo
Friedrich Steimann
Fernuniversität
Tue 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Session 1
ProWeb
at
Matisse
09:00
60m
Talk
Hop.js: JavaScript Multitier Programming
ProWeb Invited Talk
ProWeb
K:
Manuel Serrano
Inria, France
10:00
25m
Talk
Handlers.Js
ProWeb
Daniel Hillerström
The University of Edinburgh
,
Sam Lindley
University of Edinburgh, UK
,
Robert Atkey
University of Strathclyde
,
KC Sivaramakrishnan
University of Cambridge
,
Jeremy Yallop
University of Cambridge, UK
10:25
5m
Talk
Group discussion 1
ProWeb
11:00 - 12:30
Session 2
ProWeb
at
Matisse
11:00
25m
Full-paper
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
ProWeb
Jihyeok Park
KAIST, South Korea
,
Joonyoung Park
,
Yoonkyong Lee
,
Chul-Joo Kim
,
Byoungoh Kim
,
Sukyoung Ryu
KAIST
11:25
25m
Full-paper
Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
ProWeb
Bob Reynders
imec-DistriNet, KU Leuven, Belgium
,
Michael Greefs
,
Dominique Devriese
KU Leuven
,
Frank Piessens
KU Leuven
11:50
25m
Talk
Session Types for Tierless Web Applications
ProWeb
Simon Fowler
The University of Edinburgh
,
Sam Lindley
University of Edinburgh, UK
,
J. Garrett Morris
University of Kansas, USA
,
Sara Décova
12:15
15m
Talk
Group discussion 2
ProWeb
14:30 - 16:00
PASS 1
PASS
at
Matisse
14:30
5m
Day opening
Welcome
PASS
Yu David Liu
State University of New York (SUNY) Binghamton
,
Lukasz Ziarek
SUNY Buffalo, USA
,
Christoph Bockisch
Philipps-Universität Marburg
,
Hidehiko Masuhara
Tokyo Institute of Technology
14:35
60m
Talk
SafePlace: Trustable Virtual Machine Scheduling (invited talk)
PASS Invited Talk
PASS
Ludovic Henrio
INRIA
15:35
25m
Talk
Managing Hybrid Memories by Predicting Object Write Intensity
PASS
Shoaib Akram
Ghent University
,
Kathryn S McKinley
Google
,
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Lieven Eeckhout
Ghent University, Belgium
16:30 - 18:00
PASS 2
PASS
at
Matisse
16:30
25m
Talk
Towards Safe Modular Composition of Network Functions
PASS
Matthias Eichholz
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt
16:55
25m
Talk
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
PASS
Sandra Kostova
Slovak University of Technology in Bratislava, Slovakia
,
Valentino Vranić
Slovak University of Technology in Bratislava
17:20
25m
Talk
Detecting energy bugs and hotspots in control software using model checking
PASS
Pascal van Gastel
Avans University of Applied Sciences
,
Bernard van Gastel
Open University of the Netherlands, The Netherlands
,
Marko van Eekelen
Open University of the Netherlands
17:45
15m
Day closing
Discussion & closing
PASS
Yu David Liu
State University of New York (SUNY) Binghamton
,
Lukasz Ziarek
SUNY Buffalo, USA
,
Christoph Bockisch
Philipps-Universität Marburg
,
Hidehiko Masuhara
Tokyo Institute of Technology
19:00 - 22:00
Steering Committee Meeting
Organizational
at
Matisse
19:00
3h
Meeting
Steering Committee Meeting (NOT PUBLIC)
Organizational
Mon 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matisse
CoCoDo
CoCoDo morning
CoCoDo
CoCoDo pre-lunch
CoCoDo
CoCoDo post-lunch
CoCoDo
CoCoDo afternoon
Tue 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
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
19:00
30
20:00
30
21:00
30
Matisse
ProWeb
Session 1
ProWeb
Session 2
PASS
PASS 1
PASS
PASS 2
Organizational
Steering Committee Meeting
Mon 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
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
Matisse
CoCoDo
CoCoDo opening and introductions
08:45 - 09:00
CoCoDo
FunCons
09:00 - 10:30
CoCoDo
JastAdd
11:00 - 12:30
CoCoDo
Rascal
14:30 - 16:00
CoCoDo
How to double embed the general-purpose language of your embedded DSL f ...
16:30 - 17:00
CoCoDo
The Game of Programmer vs. IDE
17:00 - 17:30
Tue 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
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
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Matisse
ProWeb
ProWeb Invited Talk
Hop.js: JavaScript Multitier Programming
09:00 - 10:00
ProWeb
Handlers.Js
10:00 - 10:25
ProWeb
Group discussion 1
10:25 - 10:30
ProWeb
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consis ...
11:00 - 11:25
ProWeb
Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
11:25 - 11:50
ProWeb
Session Types for Tierless Web Applications
11:50 - 12:15
ProWeb
Group discussion 2
12:15 - 12:30
PASS
Welcome
14:30 - 14:35
PASS
PASS Invited Talk
SafePlace: Trustable Virtual Machine Scheduling (invited talk)
14:35 - 15:35
PASS
Managing Hybrid Memories by Predicting Object Write Intensity
15:35 - 16:00
PASS
Towards Safe Modular Composition of Network Functions
16:30 - 16:55
PASS
Applying Aspect-Oriented Change Realization in the Mobile Application D ...
16:55 - 17:20
PASS
Detecting energy bugs and hotspots in control software using model checking
17:20 - 17:45
PASS
Discussion & closing
17:45 - 18:00
‹Programming› Organizational
Steering Committee Meeting (NOT PUBLIC)
19:00 - 22:00
x
Fri 1 Nov 19:57