domains / families / research / popl-topic-selection

popl-topic-selection

separate

Use when deciding whether a project is POPL-shaped — a principle about programming languages carried by definitions and theorems — or better aimed at PLDI's implementation bar, OOPSLA's breadth, ICFP's paradigm focus, or LICS, CAV, CPP, ESOP, and journal outlets, judged by what the decisive evidence is.

When to use

• deciding if a project is POPL-shaped
• routing projects to PLDI, OOPSLA, ICFP, LICS, CAV, CPP, ESOP, or journals
• evaluating if a claim is a general truth about languages
• checking if decisive evidence is re-derivable
• assessing if an idea outlives its artifact

When not to use

• writing the paper
• implementing the system
• choosing venues by deadline proximity

Skill page

Source