Zürich 2 -

VenueMövenpick Hotel Amsterdam City Centre

Room nameZürich 2

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

Mon 31 Oct

08:30 - 10:00: GPCE - Keynote at Zürich 2
Chair(s): Ina SchaeferTU Braunschweig, Germany

08:30 - 10:00
Talk

GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!Keynote

Tiark RompfPurdue University, USA

10:30 - 12:10: SLE - Grammars and Parsing at Zürich 2
Chair(s): Terence ParrUniversity of San Francisco, USA

10:30 - 10:40
Day opening

Opening

Tijs van der StormCWI & University of Groningen, Emilie BallandSensational AG, Daniel Varro

10:40 - 11:05
Talk

Parsing and Reflective Printing, Bidirectionally

Zirun ZhuNational University SOKENDAI, Japan, Yongzhe ZhangNational University SOKENDAI, Japan, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Pedro MartinsUniversity of California at Irvine, USA, João SaraivaUniversity of Minho, Portugal, Zhenjiang HuNational University SOKENDAI, Japan

DOI

11:05 - 11:30
Talk

Taming Context-Sensitive Languages with Principled Stateful Parsing

Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium

DOI Pre-print

11:30 - 11:45
Talk

MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)

Juha-Pekka TolvanenMetaCase, Finland

DOI Pre-print Media Attached

11:45 - 12:10
Talk

Efficient Development of Consistent Projectional Editors using Grammar Cells

Markus Völteritemis, Germany, Tamás Szabóitemis AG / TU Delft, Sascha Lissonitemis AG, Bernd Kolbitemis AG, Sebastian ErdwegDelft University of Technology, Netherlands, Thorsten BergerChalmers University of Technology, Sweden

DOI Pre-print Media Attached

13:30 - 15:10: SLE - Runtime Techniques at Zürich 2
Chair(s): Julia LawallInria/LIP6

13:30 - 13:55
Talk

Experiences of Models@run-time with EMF and CDO

Daniel SeyboldUlm University, Germany, Jörg DomaschkaUlm University, Germany, Alessandro RossiniSINTEF, Norway, Christopher B. HauserUlm University, Germany, Frank GriesingerUlm University, Germany, Athanasios TsitsipasUlm University, Germany

DOI

13:55 - 14:20
Talk

Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation

Salvador MartínezOpen University of Catalonia, France, Jokin GarcíaIK4-IKERLAN Research Center, Spain, Jordi CabotOpen University of Catalonia, Spain

DOI

14:20 - 14:45
Talk

Object-Oriented Design Pattern for DSL Program Monitoring

Zoé DreyENSTA Bretagne, France, Ciprian TeodorovENSTA Bretagne, France

DOI Media Attached

14:45 - 15:00
Talk

Execution Framework of the GEMOC Studio (Tool Demo)

Erwan BousseTU Vienna, Austria, Thomas DegueuleInria, France, Didier VojtisekInria, France, Tanja MayerhoferTU Vienna, Austria, Julien DeAntoni, Benoit CombemaleUniversity of Rennes 1, France

DOI Pre-print Media Attached File Attached

15:40 - 17:20: SLE - Domain-Specific Languages at Zürich 2
Chair(s): Jordi CabotOpen University of Catalonia, Spain

15:40 - 16:05
Talk

Language Design and Implementation for the Domain of Coding Conventions

Boryana GoncharenkoUniversity of Amsterdam, Netherlands, Vadim ZaytsevRaincode, Belgium

DOI Media Attached

16:05 - 16:30
Talk

BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment

Zhaoyi LuoUniversity of Waterloo, Canada, Joanne M. AtleeUniversity of Waterloo, Canada

DOI Media Attached

16:30 - 16:55
Talk

Adding Uncertainty and Units to Quantity Types in Software Models

Tanja MayerhoferTU Vienna, Austria, Manuel WimmerTU Vienna, Austria, Antonio VallecilloUniversity of Málaga, Spain

DOI Media Attached

16:55 - 17:10
Talk

FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)

Thomas KühnTU Dresden, Germany, Kay BierzynskiTU Dresden, Germany, Sebastian RichlyTU Dresden, Germany, Uwe AßmannTU Dresden, Germany

DOI Media Attached

17:10 - 17:20
Day closing

Awards

Emilie BallandSensational AG, Daniel Varro, Vadim ZaytsevRaincode, Belgium, Dimitris KolovosUniversity of York

Tue 1 Nov

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

08:30 - 10:00
Talk

SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote

Robby FindlerNorthwestern University

Link to publication Media Attached

10:30 - 12:10: SLE - Development Environments at Zürich 2
Chair(s): Anthony SloaneMacquarie University, Australia

10:30 - 10:55
Talk

Towards a Universal Code Formatter through Machine Learning

Terence ParrUniversity of San Francisco, USA, Jurgen VinjuCWI, Netherlands

DOI Pre-print Media Attached File Attached

10:55 - 11:20
Talk

The IDE Portability Problem and Its Solution in Monto

Sven KeidelDelft University of Technology, Netherlands, Wulf PfeifferTU Darmstadt, Germany, Sebastian ErdwegDelft University of Technology, Netherlands

DOI Media Attached File Attached

11:20 - 11:45
Talk

Principled Syntactic Code Completion using Placeholders

Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands, Guido WachsmuthDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands

DOI Media Attached

11:45 - 12:00
Talk

DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)

Joel LindholmLund University, Sweden, Johan ThorsbergLund University, Sweden, Görel HedinLund University, Sweden

DOI Media Attached

13:30 - 15:10: SLE - Language Validation at Zürich 2
Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany

13:30 - 13:55
Talk

Automated Testing Support for Reactive Domain-Specific Modelling Languages

Bart MeyersUniversity of Antwerp, Belgium, Joachim DenilUniversity of Antwerp, Belgium, István DávidUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp, Canada

DOI

13:55 - 14:20
Talk

Side Effects Take the Blame

Felipe Bañados SchwerterUniversity of British Columbia, Canada

DOI

14:20 - 14:45
Talk

Symbolic Execution of High-Level Transformations

Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

Link to publication DOI Pre-print Media Attached

14:45 - 15:00
Talk

Raincode Assembler Compiler (Tool Demo)

Volodymyr BlagodarovRaincode, Belgium, Yves JaradinRaincode, Belgium, Vadim ZaytsevRaincode, Belgium

DOI

15:40 - 17:20: SLE - Model Transformation at Zürich 2
Chair(s): Görel HedinLund University, Sweden

15:40 - 16:05
Talk

Efficient Model Partitioning for Distributed Model Transformations

Amine Benelallam, Massimo TisiAtlanMod, France, Jesús Sánchez CuadradoAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain, Jordi CabotOpen University of Catalonia, Spain

DOI

16:05 - 16:30
Talk

Coupled Software Transformations — Revisited

Ralf LämmelUniversity of Koblenz-Landau, Germany

DOI Media Attached

16:30 - 16:45
Talk

Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)

André L. SantosUniversity Institute of Lisbon, Portugal, Eduardo GomesUniversity Institute of Lisbon, Portugal

DOI

16:45 - 17:00
Day closing

Closing & Outlook to SLE'17

Tijs van der StormCWI & University of Groningen, Benoit CombemaleUniversity of Rennes 1, France

Wed 2 Nov

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

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 MarterUniversity of Duisburg-Essen, Paul BabuckeUniversity of Duisburg-Essen, Philipp LembkenUniversity of Duisburg-Essen, Stefan HanenbergUniversity of Duisburg-Essen

DOI

10:55 - 11:20
Talk

Emergent Software Services

Nicolás CardozoUniversidad de los Andes

DOI Pre-print Media Attached

11:20 - 11:45
Talk

Nez: Practical Open Grammar Language

Kimio KuramitsuYokohama National University, Japan

DOI

11:45 - 12:10
Talk

Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages

Nevena MilojkovićUniversity of Bern, Oscar NierstraszUniversity of Bern, Switzerland

DOI

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

13:30 - 14:20
Talk

How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard

Johannes Emerich

DOI Pre-print File Attached

14:20 - 15:10
Talk

The Left Hand of Equals

James NobleVictoria University of Wellington, New Zealand, Andrew BlackPortland State University, Kim BrucePomona College, Michael HomerVictoria University of Wellington, Mark MillerGoogle Inc.

DOI

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

15:40 - 16:05
Talk

Bloqqi: Modular Feature-Based Block Diagram Programming

Niklas ForsLund University, Görel HedinLund University, Sweden

DOI Pre-print

16:05 - 16:30
Talk

Building White-Box Abstractions by Program Refinement

Mehrdad AfshariVivibe LLC, Zhendong SuUniversity of California, Davis

DOI Pre-print

16:30 - 16:55
Talk

Function Passing: A Model for Typed, Distributed Functional Programming

Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Normen Müller, Jocelyn BoullierEPFL, Jorge Vicente-CanteroEPFL

DOI

16:55 - 17:20
Talk

Extracting Code from Programming Tutorial Videos

Shir YadidTechnion, Eran YahavTechnion

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

Room information: Zürich 2

Mon 31 Oct

Tue 1 Nov

Wed 2 Nov

Mon 31 Oct 2016

GPCE

SLE

SLE

SLE

Tue 1 Nov 2016

SLE

SLE

SLE

SLE

Wed 2 Nov 2016

Onward! Papers

Onward! Essays

Onward! Papers

Mon 31 Oct 2016

Tue 1 Nov 2016

Wed 2 Nov 2016

Tracks