domains / families / research / icdt-reproducibility

icdt-reproducibility

separate

Use when strengthening the verifiability of an ICDT (International Conference on Database Theory) paper — the theory-venue analogue of reproducibility — covering complete and self-contained proofs, exact models and assumptions, claim-to-proof mapping, matching upper and lower bounds, consistency between the LIPIcs paper and the arXiv full version, and honest labeling of what is proved versus conjectured.

When to use

• strengthening verifiability of ICDT papers
• ensuring complete and self-contained proofs
• pinning exact models and assumptions
• mapping claims to proofs
• matching upper and lower bounds
• ensuring consistency between LIPIcs and arXiv versions
• honest labeling of proved versus conjectured results

When not to use

• re-running datasets
• re-executing benchmarks

Skill page

Source