domains / families / research / popl-supplementary

popl-supplementary

separate

Use when splitting a POPL paper across the 25-page body, the proof appendix, and anonymous supplementary material — deciding which proofs and auxiliary judgments leave the text, packaging proof scripts without identity leaks under full double-blind, and keeping every artifact self-consistent with the submission PDF.

When to use

• Splitting POPL paper content across body, appendix, and supplementary material
• Deciding which proofs and auxiliary judgments leave the text
• Packaging proof scripts without identity leaks under full double-blind
• Keeping every artifact self-consistent with the submission PDF
• Anonymizing proof developments
• Version-locking the submission trio

When not to use

• General academic writing advice
• Non-POPL conference submissions
• Single-blind review processes

Skill page

Source