Write a Blog >>
LASSY 2018
Mon 9 - Thu 12 April 2018 Nice, France
co-located with ‹Programming› 2018
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
Times are displayed in 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 ZaytsevRaincode Labs, Belgium
09:00
90m
Talk
FunCons
CoCoDo
Peter D. MossesSwansea University
11:00 - 12:30
CoCoDo pre-lunchCoCoDo at Matisse
11:00
90m
Talk
JastAdd
CoCoDo
Jesper OqvistLund University
14:30 - 16:00
CoCoDo post-lunchCoCoDo at Matisse
14:30
90m
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
60m
Talk
Hop.js: JavaScript Multitier ProgrammingProWeb Invited Talk
ProWeb
K: Manuel SerranoInria, France
10:00
25m
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
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 Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
11:50
25m
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
15m
Talk
Group discussion 2
ProWeb
14:30 - 16:00
PASS 1PASS at Matisse
14:30
5m
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
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 AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium
16:30 - 18:00
PASS 2PASS at Matisse
16:30
25m
Talk
Towards Safe Modular Composition of Network Functions
PASS
16:55
25m
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
25m
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
15m
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 Meeting‹Programming› Organizational at Matisse
19:00
3h
Meeting
Steering Committee Meeting (NOT PUBLIC)
‹Programming› 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