Skill UI

This skill guides authors writing about programming languages, software systems, and PL applications on how to assess if their manuscript is a suitable fit for the OOPSLA conference. It provides strategies for reframing papers, defining the required evidence (empirical, formal, or tool-based), and positioning the work against established CS research standards for top-tier systems conferences.

This skill guides authors on positioning their programming language research for the PLDI conference. It covers scope fit, required evidence (formal semantics, implementation insights), structural recommendations, and necessary framing changes (e.g., from journal to conference style) to maximize acceptance chances at this flagship venue.

This skill guides authors on optimizing manuscripts for the ACM SIGPLAN International Conference on Functional Programming (ICFP). It helps assess the technical depth, scope fit, and required evidence (e.g., type systems, semantics, compilers) needed to successfully position a functional programming paper for this top-tier venue. Use it for pre-submission refinement, framing, and strategic planning.

A comprehensive guide for authors targeting the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). This skill helps assess if a computer science manuscript fits the venue, focusing on techniques like parallel programming models, compilers, runtimes, and multicore/GPU systems. It provides structured advice on framing the contribution, identifying evidence gaps, and positioning the work against related top-tier conferences.

This skill provides a comprehensive guide for authors targeting the ACM SIGPLAN POPL conference. It helps authors strategically position their programming language theory work, covering core areas like type systems, semantics, and formal reasoning. It ensures manuscripts are reframed to meet the rigorous standards of a top-tier academic conference, emphasizing precise formal contributions and clear theoretical significance.

A comprehensive guide for authors targeting ASPLOS, a premier conference at the intersection of programming languages, operating systems, and computer architecture. This tool assists in positioning cross-layer evidence, framing the contribution, and ensuring the manuscript meets the strict technical and academic standards required for top-tier systems research.

This guide helps authors targeting top-tier conferences on Constraint Programming (CP) to strategically position their manuscripts. It provides deep insights into the required scope, evidence bar, technical focus (e.g., propagation, optimization), and necessary re-framing techniques. Use this skill to enhance algorithmic clarity and ensure your work aligns precisely with the specialized community standards of the venue.

This guide provides a framework for designing and auditing the experimental rigor of academic papers, particularly in systems and programming languages. It emphasizes the crucial link between a claim type (e.g., 'Faster') and the required evidence type (e.g., benchmarks, user studies, formal proofs). Learn how to establish robust baselines, define clear workload rules, size experiments for conference cycles, and ensure statistical compliance for maximum impact.

A comprehensive guide for authors preparing the 'Related Work' section for top-tier academic conferences focused on programming languages, such as OOPSLA. It details rigorous citation standards (PACMPL journal format), mandates comprehensive venue coverage (POPL, PLDI, ICFP, etc.), and emphasizes identifying precise technical differences ('deltas') between the proposed work and existing literature, moving beyond mere inventory listing.

This guide provides comprehensive best practices for achieving scientific reproducibility in systems and programming language papers, following stringent SIGPLAN guidelines. It details the necessary rigor for documenting hardware, managing complex runtime measurements (like JIT warmup and variance), and maintaining a detailed, machine-readable provenance ledger and data-availability statement.

This comprehensive guide assists reviewers and authors in determining the most appropriate venue for programming language research within the SIGPLAN community. It provides a detailed 'center-of-mass' test, helping categorize contributions based on whether they emphasize metatheory (POPL), performance engineering (PLDI), functional techniques (ICFCP), or the broad design scope characteristic of OOPSLA. It guides the decision-making process for academic submissions.

This guide provides best practices for designing and auditing academic evaluations of programming language features and compilers, following standards used in venues like PLDI. It covers selecting defensible benchmark suites, establishing strong baselines, performing targeted ablations, and measuring multiple performance metrics (runtime, compile time, memory) to ensure research claims are reproducible and scientifically sound.