Mobile! 2016
Sun 30 October - Fri 4 November 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
Complete Program
Your Program
Sun 30 Oct
Mon 31 Oct
Tue 1 Nov
Wed 2 Nov
Thu 3 Nov
Fri 4 Nov
Track/Call
Organization
Mobile! 2016
Mobile!
Organizing Committee
Mobile!
Program Committee
Mobile!
Steering Committee
Contributors
People Index
Search
Series
Series
Mobile! 2016
MobileDeLi 2015
MobileDeLi
Sign in
Sign up
SPLASH 2016
(
series
) /
Mobile! 2016 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Zürich 2
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Zürich 2
Floor
0
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 31 Oct
gpce-2016-papers
08:30 - 10:00:
GPCE
- Keynote at
Zürich 2
Chair(s):
Ina Schaefer
TU Braunschweig, Germany
gpce-2016-papers
08:30 - 10:00
Talk
GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!
Keynote
Tiark Rompf
Purdue University, USA
sle-2016-papers
10:30 - 12:10:
SLE
- Grammars and Parsing at
Zürich 2
Chair(s):
Terence Parr
University of San Francisco, USA
sle-2016-papers
10:30 - 10:40
Day opening
Opening
Tijs van der Storm
CWI & University of Groningen
,
Emilie Balland
Sensational AG
,
Daniel Varro
sle-2016-papers
10:40 - 11:05
Talk
Parsing and Reflective Printing, Bidirectionally
Zirun Zhu
National University SOKENDAI, Japan
,
Yongzhe Zhang
National University SOKENDAI, Japan
,
Hsiang-Shang ‘Josh’ Ko
National Institute of Informatics
,
Pedro Martins
University of California at Irvine, USA
,
João Saraiva
University of Minho, Portugal
,
Zhenjiang Hu
National University SOKENDAI, Japan
DOI
sle-2016-papers
11:05 - 11:30
Talk
Taming Context-Sensitive Languages with Principled Stateful Parsing
Nicolas Laurent
Université Catholique de Louvain, Belgium
,
Kim Mens
Université Catholique de Louvain, Belgium
DOI
Pre-print
sle-2016-papers
11:30 - 11:45
Talk
MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)
Juha-Pekka Tolvanen
MetaCase, Finland
DOI
Pre-print
Media Attached
sle-2016-papers
11:45 - 12:10
Talk
Efficient Development of Consistent Projectional Editors using Grammar Cells
Markus Völter
itemis, Germany
,
Tamás Szabó
itemis AG / TU Delft
,
Sascha Lisson
itemis AG
,
Bernd Kolb
itemis AG
,
Sebastian Erdweg
Delft University of Technology, Netherlands
,
Thorsten Berger
Chalmers University of Technology, Sweden
DOI
Pre-print
Media Attached
sle-2016-papers
13:30 - 15:10:
SLE
- Runtime Techniques at
Zürich 2
Chair(s):
Julia Lawall
Inria/LIP6
sle-2016-papers
13:30 - 13:55
Talk
Experiences of Models@run-time with EMF and CDO
Daniel Seybold
Ulm University, Germany
,
Jörg Domaschka
Ulm University, Germany
,
Alessandro Rossini
SINTEF, Norway
,
Christopher B. Hauser
Ulm University, Germany
,
Frank Griesinger
Ulm University, Germany
,
Athanasios Tsitsipas
Ulm University, Germany
DOI
sle-2016-papers
13:55 - 14:20
Talk
Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
Salvador Martínez
Open University of Catalonia, France
,
Jokin García
IK4-IKERLAN Research Center, Spain
,
Jordi Cabot
Open University of Catalonia, Spain
DOI
sle-2016-papers
14:20 - 14:45
Talk
Object-Oriented Design Pattern for DSL Program Monitoring
Zoé Drey
ENSTA Bretagne, France
,
Ciprian Teodorov
ENSTA Bretagne, France
DOI
Media Attached
sle-2016-papers
14:45 - 15:00
Talk
Execution Framework of the GEMOC Studio (Tool Demo)
Erwan Bousse
TU Vienna, Austria
,
Thomas Degueule
Inria, France
,
Didier Vojtisek
Inria, France
,
Tanja Mayerhofer
TU Vienna, Austria
,
Julien DeAntoni
,
Benoit Combemale
University of Rennes 1, France
DOI
Pre-print
Media Attached
File Attached
sle-2016-papers
15:40 - 17:20:
SLE
- Domain-Specific Languages at
Zürich 2
Chair(s):
Jordi Cabot
Open University of Catalonia, Spain
sle-2016-papers
15:40 - 16:05
Talk
Language Design and Implementation for the Domain of Coding Conventions
Boryana Goncharenko
University of Amsterdam, Netherlands
,
Vadim Zaytsev
Raincode, Belgium
DOI
Media Attached
sle-2016-papers
16:05 - 16:30
Talk
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
Zhaoyi Luo
University of Waterloo, Canada
,
Joanne M. Atlee
University of Waterloo, Canada
DOI
Media Attached
sle-2016-papers
16:30 - 16:55
Talk
Adding Uncertainty and Units to Quantity Types in Software Models
Tanja Mayerhofer
TU Vienna, Austria
,
Manuel Wimmer
TU Vienna, Austria
,
Antonio Vallecillo
University of Málaga, Spain
DOI
Media Attached
sle-2016-papers
16:55 - 17:10
Talk
FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Thomas Kühn
TU Dresden, Germany
,
Kay Bierzynski
TU Dresden, Germany
,
Sebastian Richly
TU Dresden, Germany
,
Uwe Aßmann
TU Dresden, Germany
DOI
Media Attached
sle-2016-papers
17:10 - 17:20
Day closing
Awards
Emilie Balland
Sensational AG
,
Daniel Varro
,
Vadim Zaytsev
Raincode, Belgium
,
Dimitris Kolovos
University of York
Tue 1 Nov
sle-2016-papers
08:30 - 10:00:
SLE
- SLE Keynote at
Zürich 2
Chair(s):
Tijs van der Storm
CWI & University of Groningen
sle-2016-papers
08:30 - 10:00
Talk
SLE 2016 Keynote: Redex: Lightweight Semantics Engineering
Keynote
Robby Findler
Northwestern University
Link to publication
Media Attached
sle-2016-papers
10:30 - 12:10:
SLE
- Development Environments at
Zürich 2
Chair(s):
Anthony Sloane
Macquarie University, Australia
sle-2016-papers
10:30 - 10:55
Talk
Towards a Universal Code Formatter through Machine Learning
Terence Parr
University of San Francisco, USA
,
Jurgen Vinju
CWI, Netherlands
DOI
Pre-print
Media Attached
File Attached
sle-2016-papers
10:55 - 11:20
Talk
The IDE Portability Problem and Its Solution in Monto
Sven Keidel
Delft University of Technology, Netherlands
,
Wulf Pfeiffer
TU Darmstadt, Germany
,
Sebastian Erdweg
Delft University of Technology, Netherlands
DOI
Media Attached
File Attached
sle-2016-papers
11:20 - 11:45
Talk
Principled Syntactic Code Completion using Placeholders
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
Sebastian Erdweg
Delft University of Technology, Netherlands
,
Guido Wachsmuth
Delft University of Technology, Netherlands
,
Eelco Visser
Delft University of Technology, Netherlands
DOI
Media Attached
sle-2016-papers
11:45 - 12:00
Talk
DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Joel Lindholm
Lund University, Sweden
,
Johan Thorsberg
Lund University, Sweden
,
Görel Hedin
Lund University, Sweden
DOI
Media Attached
sle-2016-papers
13:30 - 15:10:
SLE
- Language Validation at
Zürich 2
Chair(s):
Ralf Lämmel
University of Koblenz-Landau, Germany
sle-2016-papers
13:30 - 13:55
Talk
Automated Testing Support for Reactive Domain-Specific Modelling Languages
Bart Meyers
University of Antwerp, Belgium
,
Joachim Denil
University of Antwerp, Belgium
,
István Dávid
University of Antwerp, Belgium
,
Hans Vangheluwe
University of Antwerp, Canada
DOI
sle-2016-papers
13:55 - 14:20
Talk
Side Effects Take the Blame
Felipe Bañados Schwerter
University of British Columbia, Canada
DOI
sle-2016-papers
14:20 - 14:45
Talk
Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi
IT University of Copenhagen, Denmark
,
Aleksandar S. Dimovski
IT University of Copenhagen, Denmark
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
Link to publication
DOI
Pre-print
Media Attached
sle-2016-papers
14:45 - 15:00
Talk
Raincode Assembler Compiler (Tool Demo)
Volodymyr Blagodarov
Raincode, Belgium
,
Yves Jaradin
Raincode, Belgium
,
Vadim Zaytsev
Raincode, Belgium
DOI
sle-2016-papers
15:40 - 17:20:
SLE
- Model Transformation at
Zürich 2
Chair(s):
Görel Hedin
Lund University, Sweden
sle-2016-papers
15:40 - 16:05
Talk
Efficient Model Partitioning for Distributed Model Transformations
Amine Benelallam
,
Massimo Tisi
AtlanMod, France
,
Jesús Sánchez Cuadrado
Autonomous University of Madrid, Spain
,
Juan de Lara
Autonomous University of Madrid, Spain
,
Jordi Cabot
Open University of Catalonia, Spain
DOI
sle-2016-papers
16:05 - 16:30
Talk
Coupled Software Transformations — Revisited
Ralf Lämmel
University of Koblenz-Landau, Germany
DOI
Media Attached
sle-2016-papers
16:30 - 16:45
Talk
Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
André L. Santos
University Institute of Lisbon, Portugal
,
Eduardo Gomes
University Institute of Lisbon, Portugal
DOI
sle-2016-papers
16:45 - 17:00
Day closing
Closing & Outlook to SLE'17
Tijs van der Storm
CWI & University of Groningen
,
Benoit Combemale
University of Rennes 1, France
Wed 2 Nov
onward-2016-papers
10:30 - 12:10:
Onward! Papers
- Session 1 at
Zürich 2
Chair(s):
Emerson Murphy-Hill
Google
onward-2016-papers
10:30 - 10:55
Talk
Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts
Tim Marter
University of Duisburg-Essen
,
Paul Babucke
University of Duisburg-Essen
,
Philipp Lembken
University of Duisburg-Essen
,
Stefan Hanenberg
University of Duisburg-Essen
DOI
onward-2016-papers
10:55 - 11:20
Talk
Emergent Software Services
Nicolás Cardozo
Universidad de los Andes
DOI
Pre-print
Media Attached
onward-2016-papers
11:20 - 11:45
Talk
Nez: Practical Open Grammar Language
Kimio Kuramitsu
Yokohama National University, Japan
DOI
onward-2016-papers
11:45 - 12:10
Talk
Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Nevena Milojković
University of Bern
,
Oscar Nierstrasz
University of Bern, Switzerland
DOI
onward2016-essays
13:30 - 15:10:
Onward! Essays
- Onward! Essays I at
Zürich 2
onward2016-essays
13:30 - 14:20
Talk
How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Johannes Emerich
DOI
Pre-print
File Attached
onward2016-essays
14:20 - 15:10
Talk
The Left Hand of Equals
James Noble
Victoria University of Wellington, New Zealand
,
Andrew Black
Portland State University
,
Kim Bruce
Pomona College
,
Michael Homer
Victoria University of Wellington
,
Mark Miller
Google Inc.
DOI
onward-2016-papers
15:40 - 17:20:
Onward! Papers
- Session 2 at
Zürich 2
Chair(s):
Jeff Huang
Texas A&M University
onward-2016-papers
15:40 - 16:05
Talk
Bloqqi: Modular Feature-Based Block Diagram Programming
Niklas Fors
Lund University
,
Görel Hedin
Lund University, Sweden
DOI
Pre-print
onward-2016-papers
16:05 - 16:30
Talk
Building White-Box Abstractions by Program Refinement
Mehrdad Afshari
Vivibe LLC
,
Zhendong Su
University of California, Davis
DOI
Pre-print
onward-2016-papers
16:30 - 16:55
Talk
Function Passing: A Model for Typed, Distributed Functional Programming
Heather Miller
Ecole Polytechnique Federale de Lausanne
,
Philipp Haller
KTH Royal Institute of Technology
,
Normen Müller
,
Jocelyn Boullier
EPFL
,
Jorge Vicente-Cantero
EPFL
DOI
onward-2016-papers
16:55 - 17:20
Talk
Extracting Code from Programming Tutorial Videos
Shir Yadid
Technion
,
Eran Yahav
Technion
DOI
Mon 31 Oct 2016
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
Zürich 2
GPCE
Keynote
08:30 - 10:00
SLE
Grammars and Parsing
10:30 - 12:10
SLE
Runtime Techniques
13:30 - 15:10
SLE
Domain-Specific Languages
15:40 - 17:20
Tue 1 Nov 2016
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
Zürich 2
SLE
SLE Keynote
08:30 - 10:00
SLE
Development Environments
10:30 - 12:10
SLE
Language Validation
13:30 - 15:10
SLE
Model Transformation
15:40 - 17:20
Wed 2 Nov 2016
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
Zürich 2
Onward! Papers
Session 1
10:30 - 12:10
Onward! Essays
Onward! Essays I
13:30 - 15:10
Onward! Papers
Session 2
15:40 - 17:20
Mon 31 Oct 2016
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
Zürich 2
GPCE
Keynote
GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the ...
08:30 - 10:00
SLE
Opening
10:30 - 10:40
SLE
Parsing and Reflective Printing, Bidirectionally
10:40 - 11:05
SLE
Taming Context-Sensitive Languages with Principled Stateful Parsing
11:05 - 11:30
SLE
MetaEdit+ for Collaborative Language Engineering and Language Use (Tool ...
11:30 - 11:45
SLE
Efficient Development of Consistent Projectional Editors using Grammar ...
11:45 - 12:10
SLE
Experiences of Models@run-time with EMF and CDO
13:30 - 13:55
SLE
Runtime Support for Rule-Based Access-Control Evaluation through Model- ...
13:55 - 14:20
SLE
Object-Oriented Design Pattern for DSL Program Monitoring
14:20 - 14:45
SLE
Execution Framework of the GEMOC Studio (Tool Demo)
14:45 - 15:00
SLE
Language Design and Implementation for the Domain of Coding Conventions
15:40 - 16:05
SLE
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models ...
16:05 - 16:30
SLE
Adding Uncertainty and Units to Quantity Types in Software Models
16:30 - 16:55
SLE
FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
16:55 - 17:10
SLE
Awards
17:10 - 17:20
Tue 1 Nov 2016
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
Zürich 2
SLE
Keynote
SLE 2016 Keynote: Redex: Lightweight Semantics Engineering
08:30 - 10:00
SLE
Towards a Universal Code Formatter through Machine Learning
10:30 - 10:55
SLE
The IDE Portability Problem and Its Solution in Monto
10:55 - 11:20
SLE
Principled Syntactic Code Completion using Placeholders
11:20 - 11:45
SLE
DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
11:45 - 12:00
SLE
Automated Testing Support for Reactive Domain-Specific Modelling Languages
13:30 - 13:55
SLE
Side Effects Take the Blame
13:55 - 14:20
SLE
Symbolic Execution of High-Level Transformations
14:20 - 14:45
SLE
Raincode Assembler Compiler (Tool Demo)
14:45 - 15:00
SLE
Efficient Model Partitioning for Distributed Model Transformations
15:40 - 16:05
SLE
Coupled Software Transformations — Revisited
16:05 - 16:30
SLE
Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Too ...
16:30 - 16:45
SLE
Closing & Outlook to SLE'17
16:45 - 17:00
Wed 2 Nov 2016
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
Zürich 2
Onward! Papers
Lightweight Programming Experiments without Programmers and Programs: A ...
10:30 - 10:55
Onward! Papers
Emergent Software Services
10:55 - 11:20
Onward! Papers
Nez: Practical Open Grammar Language
11:20 - 11:45
Onward! Papers
Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
11:45 - 12:10
Onward! Essays
How Are Programs Found? Speculating about Language Ergonomics with Curr ...
13:30 - 14:20
Onward! Essays
The Left Hand of Equals
14:20 - 15:10
Onward! Papers
Bloqqi: Modular Feature-Based Block Diagram Programming
15:40 - 16:05
Onward! Papers
Building White-Box Abstractions by Program Refinement
16:05 - 16:30
Onward! Papers
Function Passing: A Model for Typed, Distributed Functional Programming
16:30 - 16:55
Onward! Papers
Extracting Code from Programming Tutorial Videos
16:55 - 17:20
x
Tue 10 Dec 23:53