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)
Mon 26 OctDisplayed 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 10mDay opening | Opening SLE | ||
10:40 30mTalk | 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 30mTalk | 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 20mTalk | 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 | |||
13:30 30mTalk | Distributed Model-to-Model Transformation with ATL on MapReduce SLE DOI | ||
14:00 30mTalk | 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 30mTalk | Modular Capture Avoidance for Program Transformations SLE Link to publication DOI |
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | Analysis and Transformation with the Nuthatch Tree-Walking Library SLE Anya Helene Bagge University of Bergen, Norway DOI |
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose SLE Stéphane Ducasse INRIA, France Media Attached |
10:30 - 12:00 | Formal Modeling and Language ValidationSLE at Grand Station 2 Chair(s): Marco Brambilla Politecnico di Milano, Italy | ||
10:30 30mTalk | Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview SLE Christoff Bürger Lund University, Sweden DOI | ||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
15:30 30mTalk | The Whiley Rewrite Language (WyRL) SLE David J. Pearce Victoria University of Wellington DOI | ||
16:00 30mTalk | 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 30mDay closing | Closing SLE |
Accepted Papers
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