domains / families / research / pldi-supplementary

pldi-supplementary

separate

Use when deciding what accompanies a PLDI submission beyond the 20 text pages — full proofs, extended benchmark data, anonymized code — and how to keep every extra byte double-blind, optional for reviewers, and consistent with the main PDF under summary-rejection formatting rules.

When to use

• deciding what accompanies a PLDI submission beyond the 20 text pages
• managing full proofs, extended benchmark data, and anonymized code
• keeping extra bytes double-blind
• ensuring consistency with the main PDF
• applying summary-rejection formatting rules

When not to use

• writing the main 20-page text
• determining live CFP mechanics for 2026

Skill page

Source