DLS 2016
Tue 1 Nov 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Toggle navigation
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Program
DLS Program
Your Program
Tue 1 Nov
Track/Call
Organization
DLS 2016 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2016
(
series
) /
DLS 2016 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Luzern
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Luzern
Floor
0
Capacity
30
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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01: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-07: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-03: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-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Proceeding Papers 1
AGERE
at
Luzern
08:25
5m
Day opening
Welcome
AGERE
08:30
30m
Talk
43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties
AGERE
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Tom Van Cutsem
Nokia Bell Labs, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
DOI
File Attached
09:00
30m
Talk
Pluggable Scheduling for the Reactor Programming Model
AGERE
Aleksandar Prokopec
Oracle Labs, Switzerland
DOI
09:30
30m
Talk
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
AGERE
Angelo Croatti
University of Bologna
,
Alessandro Ricci
University of Bologna, Italy
DOI
File Attached
10:30 - 12:10
Proceeding Papers 2
AGERE
at
Luzern
10:30
30m
Talk
Interaction Protocols in the JADEL Programming Language
AGERE
Federico Bergenti
University of Parma, Italy
,
Eleonora Iotti
University of Parma, Italy
,
Stefania Monica
University of Parma, Italy
,
Agostino Poggi
University of Parma, Italy
DOI
File Attached
11:00
30m
Talk
Atomic RMI 2: Distributed Transactions for Java
AGERE
Paweł T. Wojciechowski
Poznań University of Technology, Poland
,
Konrad Siek
Poznań University of Technology, Poland
DOI
11:30
30m
Talk
Conflicting Goals in Agent-Oriented Programming
AGERE
Maicon Rafael Zatelli
Federal University of Santa Catarina, Brazil
,
Jomi Fred Hübner
Federal University of Santa Catarina, Brazil
,
Alessandro Ricci
University of Bologna, Italy
,
Rafael H. Bordini
PUCRS, Brazil
DOI
File Attached
12:00
30m
Talk
Many Spiders Make a Better Web: A Unified Web-Based Actor Framework
AGERE
Florian Myter
Vrije Universiteit Brussel, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
Link to publication
DOI
13:30 - 15:10
Work-in-progress Papers 1
AGERE
at
Luzern
13:30
20m
Talk
Actor Monitors for Adaptive Behaviour
AGERE
A:
Tony Clark
Middlesex University, London
,
A:
Vinay Kulkarni
,
A:
Souvik Barat
,
A:
Balbir Barn
File Attached
13:50
20m
Talk
Dynamic Path Contraction for Distributed Dataflow Languages
AGERE
A:
Borja Arnau de Régil Basáñez
IMDEA Software Institute
,
A:
Christopher Meiklejohn
Université catholique de Louvain
Pre-print
File Attached
14:10
20m
Talk
Shared State for Actors: Pass-By-Replication Semantics
AGERE
A:
Tim Coppieters
Vrije Universiteit Brussel, Belgium
,
A:
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
File Attached
14:30
20m
Talk
Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems
AGERE
A:
Takuo Watanabe
Tokyo Institute of Technology
,
A:
Kensuke Sawada
Tokyo Institute of Technology, Japan
File Attached
14:50
20m
Talk
Towards Advanced Debugging Support for Actor Languages
AGERE
A:
Carmen Torres Lopez
,
A:
Stefan Marr
Johannes Kepler University Linz
,
A:
Hanspeter Mössenböck
JKU Linz, Austria
,
A:
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Pre-print
File Attached
15:40 - 17:20
Work-in-progress Papers 2
AGERE
at
Luzern
15:40
20m
Talk
Programming Actor-based Collective Adaptive Systems
AGERE
A:
Roberto Casadei
,
A:
Mirko Viroli
File Attached
16:00
20m
Talk
Separating Communication Concerns in Concurrent Systems
AGERE
A:
Hongxing Geng
,
A:
Nadeem Jamali
File Attached
16:20
65m
Meeting
DISCUSSION
AGERE
17:25
5m
Day closing
Closing
AGERE
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Introductions and Inheritance
NOOL
at
Luzern
Chair(s):
Roly Perera
University of {Glasgow, Edinburgh}
08:30
30m
Day opening
Welcome
NOOL
09:00
60m
Talk
The Essence of Inheritance
NOOL
Andrew Black
Portland State University
Link to publication
Pre-print
10:30 - 12:10
Politeness and Popularity
NOOL
at
Luzern
Chair(s):
Juliana Franco
Imperial College London
10:30
35m
Talk
Polite Programmers, Use Spaces in Identifiers When Needed
NOOL
Mircea F. Lungu
University of Groningen
,
Jan Kurš
University of Bern
Pre-print
11:05
35m
Talk
Actors and Hot Objects
NOOL
Tobias Wrigstad
Uppsala University
,
Thorbiörn Fritzon
Spotify
Pre-print
13:30 - 15:10
Typing and Transpilation
NOOL
at
Luzern
Chair(s):
Tobias Wrigstad
Uppsala University
13:30
35m
Talk
Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java
NOOL
Tijs van der Storm
CWI & University of Groningen
Pre-print
14:05
35m
Talk
Static Typing Without Static Types - Typing Inheritance from the Bottom Up
NOOL
Benjamin Chung
Carnegie Mellon University
,
Paley Li
Northeastern University
,
Jan Vitek
Northeastern University
Pre-print
14:40
35m
Talk
The Essence of Subclassing
NOOL
Ole Lehrmann Madsen
Aarhus University & The Alexandra Institute
,
Birger Møller-Pedersen
University of Oslo
Pre-print
15:40 - 17:20
Delegation and Decoration
NOOL
at
Luzern
Chair(s):
Paley Li
Northeastern University
15:40
35m
Talk
Situated Objects
NOOL
Patrick Dubroy
Y Combinator Research, USA
Pre-print
16:15
35m
Talk
Towards Automatic Decoration
NOOL
Tomoyuki Aotani
Tokyo Institute of Technology
,
Tetsuo Kamina
Ritsumeikan University
Pre-print
16:50
35m
Talk
Delegation Revisited
NOOL
Jonathan Aldrich
Carnegie Mellon University
,
Alex Potanin
Victoria University of Wellington
Pre-print
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 1
LWC@SLE
at
Luzern
Chair(s):
Meinte Boersma
Mendix
10:30
25m
Talk
Solutions to Three Language Workbench Challenges using Wizards Workbench
LWC@SLE
Niall Barr
University of Glasgow
,
Jeremy Singer
University of Glasgow
File Attached
10:55
25m
Talk
Whole Platform Solution to a Selection of LWC16 Benchmark Problems
LWC@SLE
Riccardo Solmi
Whole Factory srl
,
Enrico Persiani
Metatis sas
File Attached
11:20
25m
Talk
Cedalion's Response to the 2016 Language Workbench Challenge
LWC@SLE
David H. Lorenz
Open University and Technion IIT
,
Boaz Rosenan
University of Haifa
File Attached
11:45
25m
Talk
Language Workbench Challenge 2016: the JetBrains Meta Programming System
LWC@SLE
Eugen Schindler
Oce
,
Klemens Schindler
Sioux Embedded Systems
,
Federico Tomassetti
Independent
,
Ana Maria Sutii
Eindhoven University of Technology
File Attached
13:30 - 15:10
Session 2
LWC@SLE
at
Luzern
Chair(s):
Markus Völter
itemis, Germany
13:30
25m
Talk
Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench
LWC@SLE
Gabriël Konat
Delft University of Technology
,
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
Sebastian Erdweg
Delft University of Technology, Netherlands
,
Eelco Visser
Delft University of Technology, Netherlands
File Attached
13:55
25m
Talk
The Rascal Approach to Code in Prose, Computed Properties, and Language Extension
LWC@SLE
Pablo Inostroza
CWI
,
Tijs van der Storm
CWI & University of Groningen
File Attached
14:20
25m
Talk
Languages the Racket Way: Submission to the 2016 Language Workbench Challenge
LWC@SLE
Daniel Feltey
Northwestern University
,
Spencer P. Florence
Northwestern University
,
Tim Knutson
Univeristy of Utah
,
Vincent St-Amour
Northeastern University
,
Ryan Culpepper
Northeastern University
,
Matthew Flatt
University of Utah
,
Robert Bruce Findler
Northwestern University
,
Matthias Felleisen
Northeastern University
File Attached
14:45
25m
Other
Preparation Discussion
LWC@SLE
15:40 - 17:20
Discussion
LWC@SLE
at
Luzern
Chair(s):
Meinte Boersma
Mendix
,
Eugen Schindler
Oce
,
Markus Völter
itemis, Germany
15:40
1h40m
Other
Future challenges / Break out sessions
LWC@SLE
Sun 30 Oct
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
Luzern
AGERE
Proceeding Papers 1
AGERE
Proceeding Papers 2
AGERE
Work-in-progress Papers 1
AGERE
Work-in-progress Papers 2
Mon 31 Oct
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
Luzern
NOOL
Introductions and Inheritance
NOOL
Politeness and Popularity
NOOL
Typing and Transpilation
NOOL
Delegation and Decoration
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Luzern
LWC@SLE
Session 1
LWC@SLE
Session 2
LWC@SLE
Discussion
Sun 30 Oct
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
Luzern
AGERE
Welcome
08:25 - 08:30
AGERE
43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties
08:30 - 09:00
AGERE
Pluggable Scheduling for the Reactor Programming Model
09:00 - 09:30
AGERE
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Sof ...
09:30 - 10:00
AGERE
Interaction Protocols in the JADEL Programming Language
10:30 - 11:00
AGERE
Atomic RMI 2: Distributed Transactions for Java
11:00 - 11:30
AGERE
Conflicting Goals in Agent-Oriented Programming
11:30 - 12:00
AGERE
Many Spiders Make a Better Web: A Unified Web-Based Actor Framework
12:00 - 12:30
AGERE
Actor Monitors for Adaptive Behaviour
13:30 - 13:50
AGERE
Dynamic Path Contraction for Distributed Dataflow Languages
13:50 - 14:10
AGERE
Shared State for Actors: Pass-By-Replication Semantics
14:10 - 14:30
AGERE
Towards an Integration of the Actor Model in an FRP Language for Small- ...
14:30 - 14:50
AGERE
Towards Advanced Debugging Support for Actor Languages
14:50 - 15:10
AGERE
Programming Actor-based Collective Adaptive Systems
15:40 - 16:00
AGERE
Separating Communication Concerns in Concurrent Systems
16:00 - 16:20
AGERE
DISCUSSION
16:20 - 17:25
AGERE
Closing
17:25 - 17:30
Mon 31 Oct
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
Luzern
NOOL
Welcome
08:30 - 09:00
NOOL
The Essence of Inheritance
09:00 - 10:00
NOOL
Polite Programmers, Use Spaces in Identifiers When Needed
10:30 - 11:05
NOOL
Actors and Hot Objects
11:05 - 11:40
NOOL
Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java
13:30 - 14:05
NOOL
Static Typing Without Static Types - Typing Inheritance from the Bottom Up
14:05 - 14:40
NOOL
The Essence of Subclassing
14:40 - 15:15
NOOL
Situated Objects
15:40 - 16:15
NOOL
Towards Automatic Decoration
16:15 - 16:50
NOOL
Delegation Revisited
16:50 - 17:25
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Luzern
LWC@SLE
Solutions to Three Language Workbench Challenges using Wizards Workbench
10:30 - 10:55
LWC@SLE
Whole Platform Solution to a Selection of LWC16 Benchmark Problems
10:55 - 11:20
LWC@SLE
Cedalion's Response to the 2016 Language Workbench Challenge
11:20 - 11:45
LWC@SLE
Language Workbench Challenge 2016: the JetBrains Meta Programming System
11:45 - 12:10
LWC@SLE
Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax ...
13:30 - 13:55
LWC@SLE
The Rascal Approach to Code in Prose, Computed Properties, and Language ...
13:55 - 14:20
LWC@SLE
Languages the Racket Way: Submission to the 2016 Language Workbench Cha ...
14:20 - 14:45
LWC@SLE
Preparation Discussion
14:45 - 15:10
LWC@SLE
Future challenges / Break out sessions
15:40 - 17:20
x
Sat 23 Nov 08:58