POPL Paper Submission Advisor
Evaluates manuscript fit, framing, and formal rigor for submissions to the ACM SIGPLAN Symposium on Principles of Programming Languages.
The POPL Paper Submission Advisor skill equips researchers and computer scientists with venue-specific guidance for targeting the prestigious ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). It analyzes manuscripts across programming language theory, type systems, formal semantics, and verification to assess evidence strength, identify desk-reject vulnerabilities, and verify alignment with POPL's proof-centered expectations. By providing routing comparisons against sibling venues like PLDI, ICFP, and OOPSLA alongside submission-cycle checklists, this skill helps authors re-frame their work, patch theoretical and empirical gaps, and formulate robust rebuttal strategies.