MoreVMs 2018
Mon 9 - Thu 12 April 2018
Nice, France
co-located with
‹Programming› 2018
Toggle navigation
Attending
Venue: Boscolo B4 Plaza, Nice
Banquet: Plage Beau Rivage
Program
Complete Program
Your Program
Mon 9 Apr
Tue 10 Apr
Wed 11 Apr
Thu 12 Apr
Track/Call
Organization
MoreVMs 2018 Committees
Track Committees
Program Committee
Organizing Committee
Contributors
People Index
Search
Series
Series
MoreVMs 2024
MoreVMs 2023
MoreVMs 2022
MoreVMs 2021
MoreVMs'20
MoreVMs'19
MoreVMs 2018
MoreVMs 2017
Sign in
Sign up
‹Programming› 2018
(
series
) /
MoreVMs 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
‹Programming› Organizational
at
Matisse
19:00
3h
Meeting
Steering Committee Meeting (NOT PUBLIC)
‹Programming› 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
‹Programming› 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 29 Mar 12:44