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 |
---|
Engineering meta-languages for specifying software languages (keynote) Peter D. Mosses |
Engineering meta-languages for specifying software languages (keynote) Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Author has
verified
information
|
|
Ensuring non-interference of composable language extensions Ted Kaminski, Eric Van Wyk |
Ensuring non-interference of composable language extensions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Metacasanova: an optimized meta-compiler for domain-specific languages Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore |
Metacasanova: an optimized meta-compiler for domain-specific languages Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Concrete syntax: a multi-paradigm modelling approach Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe |
Concrete syntax: a multi-paradigm modelling approach Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Towards a taxonomy of grammar smells Mats Stijlaart, Vadim Zaytsev |
Towards a taxonomy of grammar smells Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Concurrent circular reference attribute grammars Jesper Öqvist, Görel Hedin |
Concurrent circular 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Energy efficiency across programming languages: how do energy, time, and memory relate? Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva |
Energy efficiency across programming languages: how do energy, time, and memory relate? Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Debugging with domain-specific events via macros Xiangqi Li, Matthew Flatt |
Debugging with domain-specific events via macros 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
|
A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing Kimio Kuramitsu |
A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri |
Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages Details |
|
Author Comments:
Details of individuals participating in the validation not disclosed for privacy purposes.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
A chrestomathy of DSL implementations Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger |
A chrestomathy of DSL implementations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Robust programs with filtered iterators Jiasi Shen, Martin Rinard |
Robust programs with filtered iterators 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
|
Structural model subtyping with OCL constraints Artur Boronat |
Structural model subtyping with OCL constraints 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
|
Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira |
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
|
FlowSpec: declarative dataflow analysis specification Jeff Smits, Eelco Visser |
FlowSpec: declarative dataflow analysis specification Details |
|
Author Comments:
The prototype was not ready for presentation.
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
Patrick Dubroy, Alessandro Warth |
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
|
Comparison of the expressiveness and performance of template-based code generation tools Lechanceux Luhunu, Eugene Syriani |
Comparison of the expressiveness and performance of template-based code generation tools Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
A formalisation of parameterised reference attribute grammars Scott J. H. Buckley, Anthony M. Sloane |
A formalisation of parameterised 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Red Shift: procedural shift-reduce parsing (vision paper) Nicolas Laurent |
Red Shift: procedural shift-reduce parsing (vision paper) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
Deep priority conflicts in the wild: a pilot study Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser |
Deep priority conflicts in the wild: a pilot study 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
|
A domain-specific controlled English language for automated regulatory compliance (industrial paper) Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni |
A domain-specific controlled English language for automated regulatory compliance (industrial paper) 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
|
Virtual textual model composition for supporting versioning and aspect-orientation Robert Bill, Patrick Neubauer, Manuel Wimmer |
Virtual textual model composition for supporting versioning and aspect-orientation 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
|
Friedrich Steimann, Marcus Frenkel, Markus Voelter |
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
|
A requirements engineering approach for usability-driven DSL development Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulão |
A requirements engineering approach for usability-driven DSL development 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
|
A development environment for the Alf language within the MagicDraw UML tool (tool demo) Ed Seidewitz |
A development environment for the Alf language within the MagicDraw UML tool (tool demo) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|