domains / families / research / popl-experiments

popl-experiments

separate

Use when designing the empirical component of a POPL paper — deciding whether evidence should be a mechanization, a prototype, case studies, or benchmarks; reporting proof effort and case-study coverage honestly; and keeping performance numbers in a supporting role so the formal claim stays the paper's center of gravity.

When to use

• designing empirical component of a POPL paper
• deciding evidence type (mechanization, prototype, case studies, benchmarks)
• reporting proof effort and case-study coverage
• keeping performance numbers in a supporting role
• matching evidence to formal claims
• auditing case-study discipline
• evaluating regenerability of performance numbers

When not to use

• substituting evidence for the theorem
• using adjectives instead of proof effort data
• narrating core calculus results as full language results

Skill page

Source