TACAS 2025 Artifact

[filipeom]

https://tacas.info/artifacts-25.php

An artifact submission must contain:

• an abstract summarizing the artifact and its relation to the paper (entered in EasyChair)
• a copy of the paper (already copied from the main track)
• a ZIP archive (uploaded to EasyChair) containing:
  • a license document (LICENSE) for the artifact — it is required that the license at least allows the AEC to evaluate the artifact
  • instructions (README) including:
    • a hyperlink to the artifact
    • additional requirements for the artifact, such as installation of proprietary software or particular hardware resources (Everything will come pre-installed in the docker image)
    • detailed instruction for an early light review that allows reviewers to: (1) verify that the artifact can properly run; and (2) perform a short evaluation of the artifact before the full evaluation and detect any difficulties (see Rebuttal)
    • detailed instructions for use of the artifact and replication of results in the paper, including estimated resource use if non-trivial