Artifact Evaluation Artifact - Artifact Submission Form

Here is a draft version of the submission form. Note that the author information, paper title, paper abstract, and paper PDF were copied (by Richard) from the research paper submission system into the AE submission system and thus didn't have to be filled in again.

Please specify the kind of your artifact:
proof / tool / data set / other [ ]

Define clearly what you consider to be the artifact to be evaluated.
[ ]

Provide one URL of a downloadable archive file (e.g., artifact.zip) containing your artifact.
The artifact evaluation committee chairs will download that archive at some point soon after the submission deadline. That archive has to be self-contained (with the exception of pointers to external tools or libraries; which we will not consider being part of the evaluated artifact, but which we will try to use when evaluating the artifact). The archive shall contain a HTML file called index.html, which shall fully describe the artifact, and include (relative) links to the files (included in the archive) that constitute the artifact. The page shall include step-by-step instructions for how you propose to evaluate your artifact. It shall also include descriptions of and links to files (included in the archive) that represent expected outputs (e.g., the log files expected to be generated by your tool on the given inputs).
[ ]