Connect

ICDT Artifact & Proof Evaluation

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Guides the preparation of complete-proof artifacts, marked appendices, and archived arXiv versions for ICDT theoretical database papers.

Designed specifically for researchers submitting to the International Conference on Database Theory (ICDT), this skill clarifies the distinction between systems-venue code artifacts and pure-theory proof artifacts. It guides authors through structuring self-contained, navigable marked appendices within LIPIcs submission limits, archiving permanent full-proof versions on arXiv, linking camera-ready papers properly, and handling optional code deposits for algorithmic contributions.

Key Features

01Guides arXiv full-version archiving and camera-ready cross-referencing via LIPIcs commands
02Clarifies ICDT theory evaluation standards versus ACM/EDBT software artifact badging
03Standardizes optional code archiving via Zenodo or Software Heritage for algorithmic papers
04Structures self-contained, navigable proof appendices inside single submission PDFs
05Provides theorem-by-theorem signposting strategies for smooth referee verification
061,079 GitHub stars

Use Cases

01Verifying artifact and reproducibility expectations when transitioning from systems venues to database theory
02Preparing theoretical appendices and proof structures for ICDT paper submissions
03Archiving and cross-linking full versions with complete proofs on arXiv after acceptance