‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
VenueBoscolo B4 Plaza, Nice
Room nameMatisse
Floor0
Capacity70
Room InformationNo extra information 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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 10:30
CoCoDo morningCoCoDo 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-lunchCoCoDo at Matisse
11:00
90m
Talk
JastAdd
CoCoDo
Jesper Oqvist Lund University
14:30 - 16:00
CoCoDo post-lunchCoCoDo at Matisse
14:30
90m
Talk
Rascal
CoCoDo
Anya Helene Bagge University of Bergen

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Session 1ProWeb at Matisse
09:00
60m
Talk
Hop.js: JavaScript Multitier ProgrammingProWeb 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 2ProWeb at Matisse
11:00
25m
Full-paper
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
ProWeb
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 1PASS 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
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 2PASS 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 MeetingOrganizational 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

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

Tue 10 Apr

Displayed 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

Displayed 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