‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
VenueBoscolo B4 Plaza, Nice
Room nameMatisse
Floor0
Capacity70
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 10:30: CoCoDo morningCoCoDo at Matisse
08:45 - 09:00
Day opening
CoCoDo opening and introductions
CoCoDo
Vadim ZaytsevRaincode Labs, Belgium
09:00 - 10:30
Talk
FunCons
CoCoDo
Peter D. MossesSwansea University
11:00 - 12:30: CoCoDo pre-lunchCoCoDo at Matisse
11:00 - 12:30
Talk
JastAdd
CoCoDo
Jesper OqvistLund University
14:30 - 16:00: CoCoDo post-lunchCoCoDo at Matisse
14:30 - 16:00
Talk
Rascal
CoCoDo
Anya Helene BaggeUniversity of Bergen

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Session 1ProWeb at Matisse
09:00 - 10:00
Talk
Hop.js: JavaScript Multitier ProgrammingProWeb Invited Talk
ProWeb
K: Manuel SerranoInria, France
10:00 - 10:25
Talk
Handlers.Js
ProWeb
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge, Jeremy YallopUniversity of Cambridge, UK
10:25 - 10:30
Talk
Group discussion 1
ProWeb
11:00 - 12:30: Session 2ProWeb at Matisse
11:00 - 11:25
Full-paper
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
ProWeb
11:25 - 11:50
Full-paper
Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
ProWeb
Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
11:50 - 12:15
Talk
Session Types for Tierless Web Applications
ProWeb
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
12:15 - 12:30
Talk
Group discussion 2
ProWeb
14:30 - 16:00: PASS 1PASS at Matisse
14:30 - 14:35
Day opening
Welcome
PASS
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
14:35 - 15:35
Talk
SafePlace: Trustable Virtual Machine Scheduling (invited talk)PASS Invited Talk
PASS
15:35 - 16:00
Talk
Managing Hybrid Memories by Predicting Object Write Intensity
PASS
Shoaib AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium
16:30 - 18:00: PASS 2PASS at Matisse
16:30 - 16:55
Talk
Towards Safe Modular Composition of Network Functions
PASS
16:55 - 17:20
Talk
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
PASS
Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
17:20 - 17:45
Talk
Detecting energy bugs and hotspots in control software using model checking
PASS
Pascal van GastelAvans University of Applied Sciences, Bernard van GastelOpen University of the Netherlands, The Netherlands, Marko van EekelenOpen University of the Netherlands
17:45 - 18:00
Day closing
Discussion & closing
PASS
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
19:00 - 22:00: Steering Committee MeetingOrganizational at Matisse
19:00 - 22:00
Meeting
Steering Committee Meeting (NOT PUBLIC)
Organizational

Mon 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matisse

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Matisse

Mon 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Matisse
CoCoDo
FunCons
09:00 - 10:30
CoCoDo
JastAdd
11:00 - 12:30
CoCoDo
Rascal
14:30 - 16:00