Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016

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

Dates
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

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, BidirectionallyArtifact Evaluation
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 ParsingArtifact Evaluation
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 CellsDistinguished paper nominee
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 MonitoringArtifact Evaluation
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)Artifact Evaluation
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 ConventionsDistinguished paper nominee
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)Artifact Evaluation
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
AwardsRaincode
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: Robby 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 LearningArtifact EvaluationDistinguished Paper
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 MontoArtifact Evaluation
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 PlaceholdersArtifact Evaluation
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)Artifact Evaluation
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 TransformationsArtifact EvaluationDistinguished paper nominee
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 TransformationsArtifact Evaluation
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 — RevisitedArtifact Evaluation
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
18:30 - 22:30
GPCE/SLE DinnerSLE at Fifteen
18:30
4h
Dinner
GPCE & SLE DinnerItemis
SLE

Media Attached

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 in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in principled engineering approaches and techniques in the following areas:

  • Language Design and Implementation
    • Approaches and methodologies for language design
    • Static semantics (e.g., design rules, well-formedness constraints)
    • Techniques for behavioral / executable semantics
    • Generative approaches (incl. code synthesis, compilation)
    • Meta-languages, meta-tools, language workbenches
  • Language Validation
    • Verification and formal methods for languages
    • Testing techniques for languages
    • Simulation techniques for languages
  • Language Integration
    • Coordination between of heterogeneous languages and tools
    • Mappings between languages (incl. transformation languages)
    • Traceability between languages
    • Deployment of languages to different platforms
  • Language Maintenance
    • Software language reuse
    • Language evolution
    • Language families and variability
  • Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance)
  • Empirical evaluation and experience reports of language engineering tools
    • User studies evaluating usability
    • Performance benchmarks
    • Industrial applications

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 excluding bibliography (in ACM SIGPLAN conference style).

  • Tool papers: Because of SLE’s 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. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages in SIGPLAN proceedings style (see above), with 1 optional additional page for bibliographic references, and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 4-page demonstration outline will be used by the program committee only for evaluating the submission.

Workshops: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience.

Publications

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

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

Awards

  • Distinguished paper. Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee.

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

  • Distinguished artefact. Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee.

More Information

For additional information, clarification, or answers to questions please contact the Program Chair.

See http://sleconf.org/2016

Accepted Papers

Title
Adding Uncertainty and Units to Quantity Types in Software Models
SLE
DOI Media Attached
Automated Testing Support for Reactive Domain-Specific Modelling Languages
SLE
DOI
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
SLE
DOI Media Attached
Coupled Software Transformations — RevisitedArtifact Evaluation
SLE
DOI Media Attached
DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)Artifact Evaluation
SLE
DOI Media Attached
Efficient Development of Consistent Projectional Editors using Grammar CellsDistinguished paper nominee
SLE
DOI Pre-print Media Attached
Efficient Model Partitioning for Distributed Model TransformationsArtifact Evaluation
SLE
DOI
Execution Framework of the GEMOC Studio (Tool Demo)Artifact Evaluation
SLE
DOI Pre-print Media Attached File Attached
Experiences of Models@run-time with EMF and CDO
SLE
DOI
FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)Artifact Evaluation
SLE
DOI Media Attached
Language Design and Implementation for the Domain of Coding ConventionsDistinguished paper nominee
SLE
DOI Media Attached
MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)
SLE
DOI Pre-print Media Attached
Object-Oriented Design Pattern for DSL Program MonitoringArtifact Evaluation
SLE
DOI Media Attached
Parsing and Reflective Printing, BidirectionallyArtifact Evaluation
SLE
DOI
Principled Syntactic Code Completion using PlaceholdersArtifact Evaluation
SLE
DOI Media Attached
Raincode Assembler Compiler (Tool Demo)
SLE
DOI
Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
SLE
DOI
Side Effects Take the Blame
SLE
DOI
Symbolic Execution of High-Level TransformationsArtifact EvaluationDistinguished paper nominee
SLE
Link to publication DOI Pre-print Media Attached
Taming Context-Sensitive Languages with Principled Stateful ParsingArtifact Evaluation
SLE
DOI Pre-print
The IDE Portability Problem and Its Solution in MontoArtifact Evaluation
SLE
DOI Media Attached File Attached
Towards a Universal Code Formatter through Machine LearningArtifact EvaluationDistinguished Paper
SLE
DOI Pre-print Media Attached File Attached
Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
SLE
DOI

For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the Program Chair.

Submission Site

Please take a moment to read the instructions below before using the submission site. Note that camera ready versions will be collected by Conference Publishing Consulting.

Concurrent Submissions

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Format

Submissions should use the ACM SIGPLAN Conference Format, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN Templates provided here. Otherwise, follow the author instructions.

Note that by default the SIGPLAN Conference Format templates produce papers in 9 point font. 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.

Page Limit

To ensure that papers stay focused on their core contributions, submissions of research papers should be no more than 12 pages, excluding bibliographic references. Tool papers are limited to 4 pages, excluding 1 optional page containing bibliographic references, and excluding 4 pages max. of demonstration outline.

Publication (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Redex: Lightweight Semantics Engineering

Robby Findler

Redex is a programming language designed to support semantics engineers as they experiment with programming language models. To explore a model, an engineer writes down grammars, type systems, and operational semantics in a notation inspired by the programming languages literature. Redex breathes life into the model, building typing derivations, running example expressions, and using random generation to falsify claims about the model.

This talk gives an overview of Redex, motivating its design choices and giving a sense of how it feels to program in Redex. Then the talk dives into some of the techniques that Redex uses to generate random expressions.

This year, SLE introduces an evaluation process for assessing the quality of the artifacts on which papers are based, treating them as first-class citizens and fostering the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts.

Artifacts (tools, grammars, datasets, proofs, links, models, videos, visualizations) that live up to the expectations created by the paper will receive a badge of approval from the Artifact Evaluation Committee (AEC). They will be invited for inclusion as freely downloadable supplementary material, ensuring permanent and durable storage. There is no obligation for authors of accepted papers to participate in this process, but we strongly encourage authors to consider this possibility as availability will greatly benefit readers and increase the impact of their work.

The submission most significantly exceeding expectations, will receive the Distinguished Artefact award, sponsored by Raincode.

In a nutshell, a good artifact is:

  • (1) consistent with the paper

  • (2) as complete as possible

  • (3) well-documented

  • (4) easy to (re)use

Evaluation Process

The artifact evaluation process of SLE borrows heavily from processes described at artifact-eval.org, ECOOP 2016 and ICSME 2016. We have an open reviewing model in which artifacts will be submitted to a GitHub repository, and reviewing/discussion will be conducted through GitHub issues.