| 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
|
|
|
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser |
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
|
|
Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|