POPL Writing Style Guide
Drafts, structures, and refines academic prose for POPL conference papers by constructing effective informal-to-formal ramps and robust proof sketches.
The POPL Writing Style skill guides researchers in drafting and revising academic papers targeting the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). It enforces standard PL writing conventions by building clear informal-to-formal ramps from motivating code examples to sharply stated main theorems, conducting rigorous notation consistency audits across lengthy 25-page manuscripts, crafting high-trust proof sketches that isolate hard induction cases, and eliminating unmotivated formalisms or overclaims before peer review submission.
주요 기능
01Identifies overclaims and refines significance claims to highlight transferable PL contributions
02Performs notation consistency checks to eliminate forward references and ambiguous overloads
031,090 GitHub stars
04Structures proof sketches that explicitly name induction measures and critical failure cases
05Audits the informal-to-formal ramp from motivating code to main theorem statements
06Generates cut lists to streamline the body calculus and offload secondary rules into supplements
사용 사례
01Drafting the introduction, overview, and technical sections for a POPL paper submission
02Auditing notation tables, definitions, and proof sketches before submitting to peer review
03Revising an existing PL manuscript to remove unmotivated formalisms and tighten contribution claims