SLE 2015
Sun 25 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015

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 Oct

sle2015
10:30 - 12:00: SLE - Language Development and Evaluation at Grand Station 2
Chair(s): Davide Di Ruscio
sle2015144585180000010:30 - 10:40
Day opening
sle2015144585240000010:40 - 11:10
Talk
DOI
sle2015144585420000011:10 - 11:40
Talk
DOI Media Attached
sle2015144585600000011:40 - 12:00
Talk
DOI
sle2015
13:30 - 15:00: SLE - Model and Program Transformation at Grand Station 2
Chair(s): Tijs van der Storm
sle2015144586260000013:30 - 14:00
Talk
DOI
sle2015144586440000014:00 - 14:30
Talk
DOI
sle2015144586620000014:30 - 15:00
Talk
Link to publication DOI
sle2015
15:30 - 17:00: SLE - Tools I at Grand Station 2
Chair(s): David Pearce
sle2015144586980000015:30 - 16:00
Talk
DOI
sle2015144587160000016:00 - 16:30
Talk
DOI
sle2015144587340000016:30 - 17:00
Talk
DOI

Tue 27 Oct

sle2015
08:30 - 10:00: SLE - SLE/GPCE Keynote at Grand Station 1+2
Chair(s): Markus Völter
sle2015144593100000008:30 - 10:00
Talk
Media Attached
sle2015
10:30 - 12:00: SLE - Formal Modeling and Language Validation at Grand Station 2
Chair(s): Marco Brambilla
sle2015144593820000010:30 - 11:00
Talk
DOI
sle2015144594000000011:00 - 11:30
Talk
DOI
sle2015144594180000011:30 - 12:00
Talk
DOI
sle2015
13:30 - 15:00: SLE - Model Execution and Verification at Grand Station 2
Chair(s): Davide Di Ruscio
sle2015144594900000013:30 - 14:00
Talk
DOI Pre-print Media Attached
sle2015144595080000014:00 - 14:30
Talk
Link to publication DOI
sle2015144595260000014:30 - 15:00
Talk
DOI
sle2015
15:30 - 17:00: SLE - Tools II and Closing at Grand Station 2
Chair(s): Anya Helene Bagge
sle2015144595620000015:30 - 16:00
Talk
DOI
sle2015144595800000016:00 - 16:30
Talk
DOI Pre-print
sle2015144595980000016:30 - 17:00
Day closing

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

Accepted Papers

Title
DOI
DOI Media Attached
DOI
DOI
DOI
DOI
DOI
DOI
Link to publication DOI
DOI
DOI Pre-print
DOI
Link to publication DOI
DOI
DOI
DOI Pre-print Media Attached
DOI