ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Migrating business logic to an incremental computing DSL: a case study

Daco C. Harkes, Elmer van Chastelet, Eelco Visser

Migrating business logic to an incremental computing DSL: a case study

Details
Discussion Comments: 0
Verification: Authors have not verified information

Analysing meta-model product lines

Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay

Analysing meta-model product lines

Details
Discussion Comments: 0
Verification: Authors have not verified information

Deriving fluent internal domain-specific languages from grammars

Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, Andreas Wortmann

Deriving fluent internal domain-specific languages from grammars

Details
Discussion Comments: 0
Verification: Authors have not verified information

The next 700 unit of measurement checkers

Oscar Bennich-Björkman, Steve McKeever

The next 700 unit of measurement checkers

Details
Author Comments: We have continued to look into the topic of unit of measurement checkers with two subsequent publications: McKeever S, Paçaci G, Bennich-Björkman O. "Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions" in MODELSWARD (2019); Salah OA, McKeever S. "Lack of Adoption of Units of Measurement Libraries: Survey and Anecdotes", in ICSE-SEIP ’20. Association for Computing Machinery (2020)
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Morbig: a static parser for POSIX shell

Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen

Morbig: a static parser for POSIX shell

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

GLL parsing with flexible combinators

L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone

GLL parsing with flexible combinators

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Modular language composition for the masses

Manuel Leduc, Thomas Degueule, Benoît Combemale

Modular language composition for the masses

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Constraint-based run-time state migration for live modeling

Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule

Constraint-based run-time state migration for live modeling

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Bacatá: a language parametric notebook generator (tool demo)

Mauricio Verano Merino, Jurgen J. Vinju, Tijs van der Storm

Bacatá: a language parametric notebook generator (tool demo)

Details
Discussion Comments: 0
Verification: Authors have not verified information

An industrial case study in compiler testing (tool demo)

Vadim Zaytsev

An industrial case study in compiler testing (tool demo)

Details
Discussion Comments: 0
Verification: Author has not verified information

Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)

Benoît Ries, Alfredo Capozucca, Nicolas Guelfi

Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Migrating custom DSL implementations to a language workbench (tool demo)

Jasper Denkers, Louis van Gool, Eelco Visser

Migrating custom DSL implementations to a language workbench (tool demo)

Details
Discussion Comments: 0
Verification: Authors have not verified information

Input-driven regular expressions (vision paper)

Alexander Sakharov

Input-driven regular expressions (vision paper)

Details
Discussion Comments: 0
Verification: Author has not verified information

Storm: a language platform for interacting and extensible languages (tool demo)

Filip Strömbäck

Storm: a language platform for interacting and extensible languages (tool demo)

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Author has not verified information

Translating grammars to accurate metamodels

Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann

Translating grammars to accurate metamodels

Details
Discussion Comments: 0
Verification: Authors have not verified information

A new approach for software correctness and reliability (keynote)

Martin C. Rinard

A new approach for software correctness and reliability (keynote)

Details
Discussion Comments: 0
Verification: Author has not verified information

Shape-diverse DSLs: languages without borders (vision paper)

Fabien Coulon, Thomas Degueule, Tijs van der Storm, Benoît Combemale

Shape-diverse DSLs: languages without borders (vision paper)

Details
Discussion Comments: 0
Verification: Authors have not verified information

A practical type system for safe aliasing

Dimitri Racordon, Didier Buchs

A practical type system for safe aliasing

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Facet-oriented modelling: open objects for model-driven engineering

Juan de Lara, Esther Guerra, Jörg Kienzle, Yanis Hattab

Facet-oriented modelling: open objects for model-driven engineering

Details
Discussion Comments: 0
Verification: Authors have not verified information

Continuous model validation using reference attribute grammars

Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann

Continuous model validation using reference attribute grammars

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments: Journal version: https://doi.org/10.1016/j.cola.2019.100940 Journal version artifact: http://doi.org/10.5281/zenodo.3666664
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Languages as first-class citizens (vision paper)

Matteo Cimini

Languages as first-class citizens (vision paper)

Details
Discussion Comments: 0
Verification: Author has not verified information

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages

Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

Details
Discussion Comments: 0
Verification: Authors have not verified information