Authors are invited to submit supplemental research artifacts such as source code, mechanized proofs, data sets, formal models, short demo videos, etc. alongside their manuscripts.
To this end, the paper submission form on HotCRP provides the opportunity upload supplemental materials (up to 600 MB, as a ZIP archive). Ideally, each submitted artifact should contain a README with a table of contents, an overview or guidance for reviewers, and reproduction instructions (if applicable).
Authors should make use of the official option to provide supplemental materials alongside their manuscripts rather than linking to repositories on GitHub or elsewhere.
Please refer to the paper submission guidelines for further details.