| 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 |
|---|
|
Parsing and reflective printing, bidirectionally Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu |
Parsing and reflective printing, bidirectionally 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
|
|
MetaEdit+ for collaborative language engineering and language use (tool demo) Juha-Pekka Tolvanen |
MetaEdit+ for collaborative language engineering and language use (tool demo) Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
The IDE portability problem and its solution in Monto Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg |
The IDE portability problem and its solution in Monto 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
|
|
Efficient model partitioning for distributed model transformations Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot |
Efficient model partitioning for distributed model transformations 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
|
|
Automated testing support for reactive domain-specific modelling languages Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe |
Automated testing support for reactive domain-specific modelling languages Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Taming context-sensitive languages with principled stateful parsing Nicolas Laurent, Kim Mens |
Taming context-sensitive languages with principled stateful parsing 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
|
|
Experiences of models@run-time with EMF and CDO Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas |
Experiences of models@run-time with EMF and CDO Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Zhaoyi Luo, Joanne M. Atlee |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Felipe Bañados Schwerter |
Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Raincode assembler compiler (tool demo) Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev |
Raincode assembler compiler (tool demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Adding uncertainty and units to quantity types in software models Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo |
Adding uncertainty and units to quantity types in software models Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Principled syntactic code completion using placeholders Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser |
Principled syntactic code completion using placeholders 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
|
|
Towards a universal code formatter through machine learning Terence Parr, Jurgen J. Vinju |
Towards a universal code formatter through machine learning 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
|
|
DrAST: an inspection tool for attributed syntax trees (tool demo) Joel Lindholm, Johan Thorsberg, Görel Hedin |
DrAST: an inspection tool for attributed syntax trees (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:
Authors have
not verified
information
|
|
Coupled software transformations revisited Ralf Lämmel |
Coupled software transformations revisited 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
|
|
Efficient development of consistent projectional editors using grammar cells Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger |
Efficient development of consistent projectional editors using grammar cells Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Language design and implementation for the domain of coding conventions Boryana Goncharenko, Vadim Zaytsev |
Language design and implementation for the domain of coding conventions Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Object-oriented design pattern for DSL program monitoring Zoé Drey, Ciprian Teodorov |
Object-oriented design pattern for DSL program monitoring 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
|
|
Execution framework of the GEMOC studio (tool demo) Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, Benoît Combemale |
Execution framework of the GEMOC studio (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:
Authors have
not verified
information
|
|
Symbolic execution of high-level transformations Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski |
Symbolic execution of high-level transformations 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
|
|
FRaMED: full-fledge role modeling editor (tool demo) Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann |
FRaMED: full-fledge role modeling editor (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:
The source code of FRaMED is avilable on Github at https://github.com/leondart/FRaMED
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Redex: a language for lightweight semantics engineering (keynote) Robby Bruce Findler |
Redex: a language for lightweight semantics engineering (keynote) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Runtime support for rule-based access-control evaluation through model-transformation Salvador Martínez Perez, Jokin García, Jordi Cabot |
Runtime support for rule-based access-control evaluation through model-transformation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Xdiagram: a declarative textual DSL for describing diagram editors (tool demo) André L. Santos, Eduardo Gomes |
Xdiagram: a declarative textual DSL for describing diagram editors (tool demo) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|