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 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.

A critical guide for authors submitting to ICALP (International Conference on Logic, Artificial Intelligence and Programming). It clarifies that ICALP is a pure theoretical venue where the core contribution is a mathematical theorem and its verifiable proof, not a functional code artifact. This document advises authors from systems or ML backgrounds on how to adjust their focus and what constitutes a valid contribution.

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.

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 guide provides a detailed framework for researchers to determine the most suitable venue (e.g., PLDI, POPL, OOPSLA) for their programming language or systems research paper. It guides authors on whether their core evidence lies in theoretical proofs, working implementations with benchmarks, or empirical usage studies, ensuring optimal submission routing and maximizing acceptance chances.

This guide provides strict guidelines for authors writing the "Related Work" section for top-tier programming language theory conferences like POPL. It emphasizes moving beyond general literature reviews to pinpoint precise, technical "delta sentences" that prove novelty against neighboring formal systems. It covers citation standards, venue mapping, and attribution verification for maximum academic impact.

A comprehensive guide detailing the rigorous standards required for submitting parallel programming research to top-tier academic venues. It covers crucial topics such as proving concurrency correctness, demonstrating measurable scalability using speedup curves, adhering to strict formatting (10 pages, two-column layout), and structuring the technical contribution to satisfy expert reviewers.