Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies).

The next edition, SLE 2016, will be co-located with SPLASH 2016 at the Mövenpick Hotel, Amsterdam, Netherlands. See you there!

Award Winners SLE 2015

Distinguished Research Paper Award
  • Romina Eramo, Alfonso Pierantonio and Gianni Rosa. Managing Uncertainty in Bidirectional Model Transformations
Distinguished Tool Paper Award
  • Anya Helene Bagge. Analysis and Transformation with the Nuthatch Tree-Walking Library
Best Reviewer Award
  • Zhenjiang Hu
Best Presentation Award
  • Sebastian Erdweg. Modular Capture Avoidance for Program Transformations (paper with Nico Ritschel)
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
10:30
10m
Day opening
Opening
SLE
Davide Di Ruscio University of L'Aquila, Markus Völter itemis, Germany
10:40
30m
Talk
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
Salome Maro Chalmers University of Technology, Sweden, Jan-Philipp Steghöfer Chalmers University of Technology, Sweden, Anthony Anjorin Chalmers University of Technology, Sweden, Matthias Tichy University of Ulm, Germany, Lars Gelin Ericsson, Sweden
DOI
11:10
30m
Talk
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
Eric Umuhoza Politecnico di Milano, Italy, Marco Brambilla Politecnico di Milano, Italy, Davide Ripamonti Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain
DOI Media Attached
11:40
20m
Talk
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
Thomas Degueule INRIA, France, Benoit Combemale INRIA, France, Arnaud Blouin INSA Rennes, France, Olivier Barais University of Rennes 1, France, Jean-Marc Jézéquel University of Rennes 1, France
DOI
13:30 - 15:00
Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der Storm CWI
13:30
30m
Talk
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
14:00
30m
Talk
Managing Uncertainty in Bidirectional Model Transformations
SLE
Romina Eramo University of L'Aquila, Italy, Alfonso Pierantonio University of L'Aquila, Italy, Gianni Rosa University of L'Aquila, Italy
DOI
14:30
30m
Talk
Modular Capture Avoidance for Program Transformations
SLE
Nico Ritschel TU Darmstadt, Germany, Sebastian Erdweg TU Darmstadt, Germany
Link to publication DOI
15:30 - 17:00
Tools ISLE at Grand Station 2
Chair(s): David J. Pearce Victoria University of Wellington
15:30
30m
Talk
XMLText: From XML Schema to Xtext
SLE
Patrick Neubauer Vienna University of Technology, Austria, Alexander Bergmayr Vienna University of Technology, Austria, Tanja Mayerhofer Vienna University of Technology, Austria, Javier Troya Vienna University of Technology, Austria, Manuel Wimmer Vienna University of Technology, Austria
DOI
16:00
30m
Talk
Designing Languages using Lightning
SLE
Loïc Gammaitoni University of Luxembourg, Luxembourg, Pierre Kelsen University of Luxembourg, Luxembourg, Christian Glodt University of Luxembourg, Luxembourg
DOI
16:30
30m
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene Bagge University of Bergen, Norway
DOI

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco Brambilla Politecnico di Milano, Italy
10:30
30m
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff Bürger Lund University, Sweden
DOI
11:00
30m
Talk
Example-Based Validation of Domain-Specific Visual Languages
SLE
Jesús J. López-Fernández Autonomous University of Madrid, Spain, Esther Guerra Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain
DOI
11:30
30m
Talk
A Combined Formal Model for Relational Context-Dependent Roles
SLE
Thomas Kühn TU Dresden, Germany, Stephan Böhme TU Dresden, Germany, Sebastian Götz TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany
DOI
13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent Latombe University of Toulouse, France, Xavier Crégut University of Toulouse, France, Benoit Combemale INRIA, France, Julien DeAntoni , Marc Pantel University of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan Bousse IRISA, France, Jonathan Corley University of Alabama, USA, Benoit Combemale INRIA, France, Jeff Gray University of Alabama, USA, Benoit Baudry INRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina Ochoa University of Los Andes, Colombia, Oscar González-Rojas University of Los Andes, Colombia, Thomas Thüm University of Ulm
DOI
15:30 - 17:00
Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene Bagge University of Bergen, Norway
15:30
30m
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. Pearce Victoria University of Wellington
DOI
16:00
30m
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
DOI Pre-print
16:30
30m
Day closing
Closing
SLE

Accepted Papers

Title
A Combined Formal Model for Relational Context-Dependent Roles
SLE
DOI
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
DOI
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
DOI Media Attached
Designing Languages using Lightning
SLE
DOI
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
Example-Based Validation of Domain-Specific Visual Languages
SLE
DOI
Managing Uncertainty in Bidirectional Model Transformations
SLE
DOI
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
DOI
Modular Capture Avoidance for Program Transformations
SLE
Link to publication DOI
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
DOI
Opening
SLE
Parsing Expression Grammars Made Practical
SLE
DOI Pre-print
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
DOI
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Link to publication DOI File Attached
The Whiley Rewrite Language (WyRL)
SLE
DOI
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
DOI
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
DOI Pre-print Media Attached File Attached
XMLText: From XML Schema to Xtext
SLE
DOI

Call for Papers

Topics of Interest

SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks. Topics of interest include, but are not limited to, the following:

  • Approaches and methodologies for language design

  • Tools for language design and implementation (incl. meta-languages, meta-tools, language workbenches)

  • Generative approaches (incl. transformation and transformation languages, code generation)

  • Interpreters and interpreter composition

  • Techniques for analysing (and proving properties of) software language descriptions

  • Techniques for software language reuse, evolution and management of variations (syntactic/semantic) within language families

  • Integration and coordination of disparate software languages and tools

  • Applications of DSLs for different purposes (incl. modeling, simulating, generation, description, checking)

  • Novel applications and/or empirical studies on any aspect of SLE (development, use, deployment, and maintenance of software languages)

  • Cross-fertilization of different technological spaces (e.g. modelware, grammarware, ontologies)

Types of Submissions

  • Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages (in ACM SIGPLAN conference style).

  • Tool papers: Because of SLE’s ample interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Tool papers should include an appendix outlining the proposed demonstration, including screenshots etc. A short video may be linked as well. Tool paper submissions must not exceed 6 pages (in ACM SIGPLAN conference style).

  • Bridging position papers: These papers discuss bridging ideas from the different areas of SLE (e.g. modelling, programming languages, grammars, etc). This includes both foundational ideas and/or practical techniques. Bridging position papers must not exceed 2 pages (in ACM SIGPLAN conference style).

Proposals for SLE workshops should be submitted to the SPLASH workshop process. Please be sure to carefully label your proposal as affiliated with SLE; if you have any questions about SLE workshops, please contact the General Chair.

Papers should follow the ACM SIGPLAN conference style, 10 point font: http://www.sigplan.org/Resources/Author/

Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font by default. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission; setting the preprint option in the LaTeX \documentclass command generates page numbers. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Submitted articles must not have been previously published or currently be submitted for publication elsewhere. The program chairs will apply the principles of the ACM Plagiarism Policy throughout the submission and review process.

Publications

All submitted papers will be reviewed by at least three members of the program committee. All accepted papers will be published in ACM Digital Library.

Papers may be submitted via Easychair, https://easychair.org/conferences/?conf=sle-2015

Authors of best papers from the conference will be invited to revise and submit extended versions of their papers for a Journal special issue.

Prizes

  • Best paper. Award for best overall paper, as determined by the PC chairs based on the recommendations of the programme committee.

  • Best presentation. Award for the best paper presentation. We want to encourage well structured and lively presentations. Determined by the audience.

  • Best reviewer. Award for best reviewer, as determined by the PC chairs using feedback from the authors.

Awards are sponsored by GEMOC initiative

More information

See http://sleconf.org/2015