Dagstuhl Artifacts Series (DARTS)
The Dagstuhl Artifacts Series (DARTS) publishes evaluated research data and artifacts in all areas of computer science. An artifact can be any kind of content related to computer science research, e.g., experimental data, source code, virtual machines containing a complete setup, test suites, or tools. In contrast to existing repositories for research data and artifacts like Zenodo or figshare, DARTS focuses on artifacts that underwent an evaluation process before their publication.
An artifact should be related to a research paper (which does not necessarily have to be published within a series of Dagstuhl Publishing but which should be clearly citable, e.g., by a DOI) and should help to verify the repeatability and correctness of the experiments/implementations described in the related paper.
The series is organized as a periodical consisting of one volume per year. Each volume can consist of several issues. Thereby, DARTS currently focuses on special issues that are related to a conference.
Publications
Aims and Scope
The DARTS series aims at the provision of a publication venue for evaluated research data and artifacts. An artifact can be any kind of content related to computer science research, e.g., experimental data, source code, virtual machines containing a complete setup, test suites, or tools. In contrast to existing repositories for research data and artifacts, DARTS focuses on artifacts that underwent an evaluation process before their publication.
The scope of DARTS covers all areas of computer science.
Open Access Policy
License
The actual artifact is published under a Open Source license to be found in the artifact description.
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license (https://creativecommons.org/publicdomain/zero/1.0/legalcode).
Processing Charge
ISSN
Identifier
Each article is assigned a DOI and a URN.
To facilitate author identification, the Open Researcher and Contributor ID (ORCID) is optionally included during upload so that authors can be uniquely linked to their ORCID iD.
Longterm Preservation
Publication Ethics
Editorial Board
- Prof. Dr. Camil Demetrescu Sapienza University of Rome, IT
- Prof. Raimund Seidel , Ph.D., Universität des Saarlandes - Saarbrücken, DE
Constitution
The editorial board oversees the selection of issues to be included in DARTS. The board is monitored by the Scientific Advisory Board of Schloss Dagstuhl. In its initial configuration, the board consists of at least 2 members with a background of artifact evaluation in computer science and the scientific director of Schloss Dagstuhl or his/her representative. The editorial board may give itself rules of internal procedures.
Editorial Policy
To publish an issue in the Dagstuhl Artifacts Series (DARTS), the organizers of a conference must submit a proposal covering the following issues:
- Information about the conference
- Content: Topics, size of the articles, number of articles, ...
- Peer Review: How is the peer review process organized?
- Timeline: Coarse schedule regarding the deadline for submission, duration of the peer review process or notification deadline, respectively, deadline for submission of camera-ready documents for both research papers as well as research artifacts.
- Proceedings: Where are the proceedings published?
- Artifact Evaluation Process:
- Description of the artifact evaluation process: Which parties are involved? How is the relation of the artifact evaluation committee and the regular program committee of the conference and how/when are decisions synchronized?
- List of the artifact evaluation committee members.
The proposal will be processed by Dagstuhl's editorial office and then forwarded to the DARTS Editorial Board for a timely decision. The following decisions are possible: (1) acceptance, (2) request for revised re-submission, or (3) rejection.
Artifact Evaluation
All artifacts to be published within DARTS need to undergo some sort of systematic evaluation process, typically administered by an evaluation committee. Thereby, it should be ensured that the artifact is well documented, easy to reuse, consistent, and complete with respect to the claims made in the related research paper.
It is up to the editors of a special issue to organize the evaluation process and to provide the methodology for the evaluation. As a suggestion, the guidelines for Artifact Evaluation for Software Conferences can serve as basis. The description of the artifact evaluation process has to be publicly available and is part of the preface of the issue and of the proposal.
Templates and Example Files
Please download the current version of the DARTS style along with an example file and detailed author instructions:
For older releases and an issue tracker, see our GitHub archive.
Artifact Description
Each artifact is published with a separate description which should
- contain information of the scope of the artifact,
- list the content of the artifact,
- provide information about the origin of the artifact (e.g., reference to version control platforms like GitHub including a version number (if applicable)),
- specify the platform on which the artifact has been tested (if applicable),
- provide a reference to the license of the artifact (DARTS requires the usage of free and open source software licenses. The license of the artifact can be different from the license of the artifact description. The description is released under a Creative Commons Attribution 4.0 International license (CC BY 4.0), i.e., the authors retain their copyright. For a incomplete list of free licenses, please visit http://www.gnu.org/licenses/license-list.en.html and https://opensource.org/licenses/.),
- provide the MD5 sum of the artifact,
- contain the size of the artifact,
- specify keywords,
- provide the DOI, as well as
- provide a reference to the related research paper.
Metadata
Each artifact is published with machine-readable metadata including the following information according to the DataCite Metadata Schema:
- title
- authors (The list of authors of the artifact may include people who are not authors of the related paper, but contributed to creating the artifact.)
- keywords \ subjects
- publisher
- publication date
- type (e.g., DataCite properties resourceTypeGeneral and resourceType)
- DOI
- identifier (e.g., DOI) of the related research paper
- size
- version (if applicable)
- license
File formats
DARTS accepts any kind of data file formats for the artifacts. However, it can not guarantee continued access and preservation of obsolete or obscure formats. For that reason, open, non-proprietary and well-documented formats are highly recommended wherever possible.
FAQ
Author Approval
- During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
- authors approve or ask for (minor) corrections
- Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
- Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
- Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
- Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
If you click on "Save and Finish Author Approval", we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata (if necessary) AND in the LaTeX file.
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
IMPORTANT! Please note that only minor corrections should be done at this stage. Here, "minor" also refers to the total number of changes. (We have already had inquiries with 50 change requests, most of them typos. Although each request is minor, the implementation is time-consuming in sum.) Requests that exceed our processing capacities and thus endanger the timely publication of the whole volume may be rejected.
As soon as some authorized user (usually you or your co-authors, if any) finishes the approval request and submits it to Dagstuhl Publishing (this happens at the end of Step 2), we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata AND in the LaTeX file.
Note that, when submitting the approval, you can decide on if you want to see the changed document again or if you consider the document as approved after the changes have been made (without a further preview).
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
Publication Workflow
- During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
- authors approve or ask for (minor) corrections
- Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
- Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
- Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
- Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
LaTeX Style
Here is an example of a completely filled author macro:
\author{John Q. Public}
{Institute of Pure Nonsense, Dummy University, Atlantis
\and \url{http://www.myhomepage.edu}}
{johnqpublic@dummyuni.org}
{https://orcid.org/0000-0002-1825-0097}
{funded by the man in the moon.}
Please note:
- Use full first and last name.
- City and country belong to the minimum requirements on an affiliation.
-
If an author has several different affiliations, please clearly separate them with the keyword
\and. - E-mail, ORCID, and funding are optional.
- Author macros cannot be shared! Please use separate author macros even if two or more authors have the same affiliation!
This macro sets the page header of odd pages, which is an abbreviated version of the concatenated author string. Sample usage:
\authorrunning{J.\,Q. Public, A.\,E. Access, and E. Example}
Please...
- abbreviate first names
- in case of middle initials: use
\,as illustrated in the example - be consistent with the
\authormacros - in case of 2 authors: concatenate with " and "
- in case of 3 or more authors, see the sample for concatenation
- in case of overfull \hboxes: use the name of the first author and "et al."
\ccsdesc{...} is for classification information following the ACM 2012 Computing Classification System. Sample usage:
\ccsdesc{Theory of computation~Proof complexity}
\ccsdesc{Theory of computation~Quantum complexity theory}
Please feel free to use our ACM 2012 Subject Finder to search for appropriate classifications and to generate the necessary LaTeX code.
Using this macro, you specify the copyright holder (appearing at the bottom of the title page) which is usually the team of authors. Sample usage:
\Copyright{John Q. Public, Adam E. Access, and Eve Example}
Please...
- use full first and last names
- be consistent with the
\authormacros - in case of 2 authors: concatenate with " and "
- in case of 3 or more authors, see the sample for concatenation
This macro should be used to capture general (i.e. not author-specific) funding information.
If a funding can be clearly assigned to an author, please use the last part of the \author macro instead.
Sample usage:
\keywords{Theory of Everything, indefinite Metrics, abstract Nonsense}
Please note:
- comma as delimiter
- first word and every proper noun should be capitalized
We expect you to provide your DARTS artifact as a single (compressed) file. To calculate the md5-sum of this file on your local machine, please type:
md5 [artifact_filename]in a Linux/Mac OS terminalCertUtil -hashfile [artifact_filename] MD5in a Windows Shell
The output should be a 32 byte hex string. Use this string as argument of the mdsum-macro, e.g., \mdsum{b157da23549e1d718bb16d22ded6d941}.
Not found?
Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!
Front Matter
Each issue in the Dagstuhl Artifacts Series (DARTS) has a preface written by the chairs of the artifact evaluation committee that describes the artifact evaluation process. This description is also an essential part of the proposal.
Front Matter Template and Example Files
Please download the current version of the DARTS front matter style along with an example file:
FAQ
Author Approval
- During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
- authors approve or ask for (minor) corrections
- Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
- Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
- Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
- Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
If you click on "Save and Finish Author Approval", we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata (if necessary) AND in the LaTeX file.
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
IMPORTANT! Please note that only minor corrections should be done at this stage. Here, "minor" also refers to the total number of changes. (We have already had inquiries with 50 change requests, most of them typos. Although each request is minor, the implementation is time-consuming in sum.) Requests that exceed our processing capacities and thus endanger the timely publication of the whole volume may be rejected.
As soon as some authorized user (usually you or your co-authors, if any) finishes the approval request and submits it to Dagstuhl Publishing (this happens at the end of Step 2), we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata AND in the LaTeX file.
Note that, when submitting the approval, you can decide on if you want to see the changed document again or if you consider the document as approved after the changes have been made (without a further preview).
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
Publication Workflow
- During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
- authors approve or ask for (minor) corrections
- Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
- Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
- Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
- Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
LaTeX Style
This macro sets the page header of odd pages, which is an abbreviated version of the concatenated author string. Sample usage:
\authorrunning{J.\,Q. Public, A.\,E. Access, and E. Example}
Please...
- abbreviate first names
- in case of middle initials: use
\,as illustrated in the example - be consistent with the
\authormacros - in case of 2 authors: concatenate with " and "
- in case of 3 or more authors, see the sample for concatenation
- in case of overfull \hboxes: use the name of the first author and "et al."
\ccsdesc{...} is for classification information following the ACM 2012 Computing Classification System. Sample usage:
\ccsdesc{Theory of computation~Proof complexity}
\ccsdesc{Theory of computation~Quantum complexity theory}
Please feel free to use our ACM 2012 Subject Finder to search for appropriate classifications and to generate the necessary LaTeX code.
Using this macro, you specify the copyright holder (appearing at the bottom of the title page) which is usually the team of authors. Sample usage:
\Copyright{John Q. Public, Adam E. Access, and Eve Example}
Please...
- use full first and last names
- be consistent with the
\authormacros - in case of 2 authors: concatenate with " and "
- in case of 3 or more authors, see the sample for concatenation
This macro should be used to capture general (i.e. not author-specific) funding information.
If a funding can be clearly assigned to an author, please use the last part of the \author macro instead.
Sample usage:
\keywords{Theory of Everything, indefinite Metrics, abstract Nonsense}
Please note:
- comma as delimiter
- first word and every proper noun should be capitalized
We expect you to provide your DARTS artifact as a single (compressed) file. To calculate the md5-sum of this file on your local machine, please type:
md5 [artifact_filename]in a Linux/Mac OS terminalCertUtil -hashfile [artifact_filename] MD5in a Windows Shell
The output should be a 32 byte hex string. Use this string as argument of the mdsum-macro, e.g., \mdsum{b157da23549e1d718bb16d22ded6d941}.
Not found?
Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!
Recently published volumes
-
DARTS, Vol. 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Angeliki Kritikakou and Matthias Becker -
DARTS, Vol. 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Alessandra Gorla and Stefan Winter -
DARTS, Vol. 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
William G. J. Halfond and Quentin Stiévenart -
DARTS, Vol. 7, Issue 1, Special Issue of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
Alessandro Biondi and Angeliki Kritikakou -
DARTS, Vol. 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Lisa Nguyen Quang Do and Manuel Rigger -
DARTS, Vol. 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Alessandro V. Papadopoulos and Alessandro Biondi -
DARTS, Vol. 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Maria Christakis and Manuel Rigger -
DARTS, Vol. 5, Issue 1, Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Sophie Quinton, Sebastian Altmeyer, and Alessandro Papadopoulos -
DARTS, Vol. 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Maria Christakis, Philipp Haller, and Marianna Rapoport -
DARTS, Vol. 4, Issue 2, Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Sebastian Altmayer and Martina Maggio -
DARTS, Vol. 4, Issue 1, Special Issue of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018)
Philipp Haller, Michael Pradel, and Tijs van der Storm -
DARTS, Vol. 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Philipp Haller, Michael Pradel, and Tijs van der Storm -
DARTS, Vol. 3, Issue 1, Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017)
Javier Cámara, Bashar Nuseibeh, and David Garlan -
DARTS, Vol. 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Camil Demetrescu -
DARTS, Vol. 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Matthew Flatt and Tijs van der Storm
