domains / families / research / pods-writing-style

pods-writing-style

separate

Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds, complete and self-contained proofs (body plus at-submission appendix), honest assumptions and open cases, double-anonymous wording, and disciplined use of the acmsmall 15-page budget.

When to use

• revising an ACM PODS paper
• stating precise models and results on the first page
• ensuring exact theorem statements with matching bounds
• verifying complete and self-contained proofs
• maintaining honest assumptions and open cases
• applying double-anonymous wording
• managing the acmsmall 15-page budget

When not to use

• writing systems papers
• using online or external appendices

Skill page

Source