Zürich 2 - DLS 2016

VenueMövenpick Hotel Amsterdam City Centre

Room nameZürich 2

Floor0

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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

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

08:30 - 10:00	KeynoteGPCE at Zürich 2 Chair(s): Ina Schaefer TU Braunschweig, Germany

08:30 90m Talk		GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!Keynote GPCE K: Tiark Rompf Purdue University, USA

10:30 - 12:10	Grammars and ParsingSLE at Zürich 2 Chair(s): Terence Parr University of San Francisco, USA

10:30 10m Day opening		Opening SLE Tijs van der Storm CWI & University of Groningen, Emilie Balland Sensational AG, Daniel Varro
10:40 25m Talk		Parsing and Reflective Printing, Bidirectionally SLE 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
11:05 25m Talk		Taming Context-Sensitive Languages with Principled Stateful Parsing SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium DOI Pre-print
11:30 15m Talk		MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo) SLE Juha-Pekka Tolvanen MetaCase, Finland DOI Pre-print Media Attached
11:45 25m Talk		Efficient Development of Consistent Projectional Editors using Grammar Cells SLE 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

13:30 - 15:10	Runtime TechniquesSLE at Zürich 2 Chair(s): Julia Lawall Inria/LIP6

13:30 25m Talk		Experiences of Models@run-time with EMF and CDO SLE 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
13:55 25m Talk		Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation SLE Salvador Martínez Open University of Catalonia, France, Jokin García IK4-IKERLAN Research Center, Spain, Jordi Cabot Open University of Catalonia, Spain DOI
14:20 25m Talk		Object-Oriented Design Pattern for DSL Program Monitoring SLE Zoé Drey ENSTA Bretagne, France, Ciprian Teodorov ENSTA Bretagne, France DOI Media Attached
14:45 15m Talk		Execution Framework of the GEMOC Studio (Tool Demo) SLE 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

15:40 - 17:20	Domain-Specific LanguagesSLE at Zürich 2 Chair(s): Jordi Cabot Open University of Catalonia, Spain

15:40 25m Talk		Language Design and Implementation for the Domain of Coding Conventions SLE Boryana Goncharenko University of Amsterdam, Netherlands, Vadim Zaytsev Raincode, Belgium DOI Media Attached
16:05 25m Talk		BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLE Zhaoyi Luo University of Waterloo, Canada, Joanne M. Atlee University of Waterloo, Canada DOI Media Attached
16:30 25m Talk		Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja Mayerhofer TU Vienna, Austria, Manuel Wimmer TU Vienna, Austria, Antonio Vallecillo University of Málaga, Spain DOI Media Attached
16:55 15m Talk		FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE 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
17:10 10m Day closing		Awards SLE Emilie Balland Sensational AG, Daniel Varro , Vadim Zaytsev Raincode, Belgium, Dimitris Kolovos University of York

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

08:30 - 10:00	SLE KeynoteSLE at Zürich 2 Chair(s): Tijs van der Storm CWI & University of Groningen

08:30 90m Talk		SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote SLE I: Robert Bruce Findler Northwestern University Link to publication Media Attached

10:30 - 12:10	Development EnvironmentsSLE at Zürich 2 Chair(s): Anthony Sloane Macquarie University, Australia

10:30 25m Talk		Towards a Universal Code Formatter through Machine Learning SLE Terence Parr University of San Francisco, USA, Jurgen Vinju CWI, Netherlands DOI Pre-print Media Attached File Attached
10:55 25m Talk		The IDE Portability Problem and Its Solution in Monto SLE Sven Keidel Delft University of Technology, Netherlands, Wulf Pfeiffer TU Darmstadt, Germany, Sebastian Erdweg Delft University of Technology, Netherlands DOI Media Attached File Attached
11:20 25m Talk		Principled Syntactic Code Completion using Placeholders SLE 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
11:45 15m Talk		DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo) SLE Joel Lindholm Lund University, Sweden, Johan Thorsberg Lund University, Sweden, Görel Hedin Lund University, Sweden DOI Media Attached

13:30 - 15:10	Language ValidationSLE at Zürich 2 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany

13:30 25m Talk		Automated Testing Support for Reactive Domain-Specific Modelling Languages SLE 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
13:55 25m Talk		Side Effects Take the Blame SLE Felipe Bañados Schwerter University of British Columbia, Canada DOI
14:20 25m Talk		Symbolic Execution of High-Level Transformations SLE 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
14:45 15m Talk		Raincode Assembler Compiler (Tool Demo) SLE Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium DOI

15:40 - 17:20	Model TransformationSLE at Zürich 2 Chair(s): Görel Hedin Lund University, Sweden

15:40 25m Talk		Efficient Model Partitioning for Distributed Model Transformations SLE 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
16:05 25m Talk		Coupled Software Transformations — Revisited SLE Ralf Laemmel University of Koblenz-Landau, Germany DOI Media Attached
16:30 15m Talk		Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo) SLE André L. Santos University Institute of Lisbon, Portugal, Eduardo Gomes University Institute of Lisbon, Portugal DOI
16:45 15m Day closing		Closing & Outlook to SLE'17 SLE Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1, France

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

10:30 - 12:10	Session 1Onward! Papers at Zürich 2 Chair(s): Emerson Murphy-Hill Google

10:30 25m 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 Onward! Papers 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
10:55 25m Talk		Emergent Software Services Onward! Papers Nicolás Cardozo Universidad de los Andes DOI Pre-print Media Attached
11:20 25m Talk		Nez: Practical Open Grammar Language Onward! Papers Kimio Kuramitsu Yokohama National University, Japan DOI
11:45 25m Talk		Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages Onward! Papers Nevena Milojković University of Bern, Oscar Nierstrasz University of Bern, Switzerland DOI

13:30 - 15:10	Onward! Essays IOnward! Essays at Zürich 2

13:30 50m Talk		How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays Johannes Emerich DOI Pre-print File Attached
14:20 50m Talk		The Left Hand of Equals Onward! Essays 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

15:40 - 17:20	Session 2Onward! Papers at Zürich 2 Chair(s): Jeff Huang Texas A&M University

15:40 25m Talk		Bloqqi: Modular Feature-Based Block Diagram Programming Onward! Papers Niklas Fors Lund University, Görel Hedin Lund University, Sweden DOI Pre-print
16:05 25m Talk		Building White-Box Abstractions by Program Refinement Onward! Papers Mehrdad Afshari Vivibe LLC, Zhendong Su University of California, Davis DOI Pre-print
16:30 25m Talk		Function Passing: A Model for Typed, Distributed Functional Programming Onward! Papers 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
16:55 25m Talk		Extracting Code from Programming Tutorial Videos Onward! Papers Shir Yadid Technion, Eran Yahav Technion DOI

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
Zürich 2							GPCE Keynote																								SLE Grammars and Parsing																																				SLE Runtime Techniques																										SLE Domain-Specific Languages

Tue 1 Nov
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
Zürich 2							SLE SLE Keynote																								SLE Development Environments																																				SLE Language Validation																										SLE Model Transformation

Wed 2 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
Zürich 2							Onward! Papers Session 1																																				Onward! Essays Onward! Essays I																										Onward! Papers Session 2

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
Zürich 2							GPCEKeynote 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
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
Zürich 2							SLEKeynote 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
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
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

Room information: Zürich 2

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

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

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

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

GPCE

SLE

SLE

SLE

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

SLE

SLE

SLE

SLE

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

Onward! Papers

Onward! Essays

Onward! Papers

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

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

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

Tracks

Room information: Zürich 2

Program Display Configuration

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

GPCE

SLE

SLE

SLE

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SLE

SLE

SLE

SLE

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Onward! Papers

Onward! Essays

Onward! Papers

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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