Skill UI

This guide provides authors with comprehensive best practices for submitting research artifacts (e.g., compilers, benchmarks, proofs) for post-acceptance evaluation at PLDI. It details how to structure the submission, ensuring reproducibility, containerization, and clear documentation to achieve Functional, Reusable, or Available badges.

This guide details the meticulous process of converting an accepted PLDI conference paper into a formal PACMPL journal article. It covers crucial steps including de-anonymization (restoring author details, ORCIDs), adopting journal formatting standards, handling digital artifacts on Zenodo, managing open-access rights, and coordinating the three distinct deliverables: the article, the artifact, and the presentation talk.

A comprehensive pre-submission audit guide for authors targeting top-tier academic conferences. This skill helps ensure strict adherence to technical standards, including ACM formatting (acmsmall) and page limits. It is crucial for verifying double-blind anonymity by detecting identity leaks (e.g., GitHub names, metadata) and confirming compliance with policies like dual-submission rules, thereby preventing summary rejection.

This guide details the best practices for submitting supplementary material (like full proofs, benchmark data, and source code) for major academic conferences. It instructs authors on strategically placing content to enhance depth while strictly maintaining double-blind anonymity and ensuring perfect consistency between the main paper and its supporting appendices.

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.

A comprehensive guide for assessing the scope and significance of high-quality, cross-disciplinary research. This skill helps authors determine the optimal publishing venue—whether it should be PNAS Nexus, flagship PNAS, or a specialized field journal—by evaluating how broadly the findings resonate across biological, physical, social, and engineering sciences. It is crucial for submissions and for judging transfer opportunities following a PNAS decline.

A crucial guide for authors preparing for PODC (Proofs venue). It corrects the common misconception that runnable artifacts or badges are required. Instead, it redirects focus to the three core areas of evaluation: ensuring proof completeness, establishing model rigor by declaring all assumptions, and maintaining transparency for optional simulations.

A comprehensive guide for authors on preparing an accepted academic paper for ACM conference proceedings. This includes de-anonymizing the manuscript, compressing the content to the strict 10-page two-column format, migrating full proofs to arXiv, and completing all required ACM metadata (rights, CCS concepts).

A comprehensive project management guide for navigating the complex, multi-cycle academic submission process, such as for the PODS conference. It details backward-planning milestones, covering venue fit, abstract submission, full-paper drafting, rebuttal, revision rounds, and final arXiv publication. Ideal for authors managing theoretical research papers.

This skill guides authors to structure and articulate the core contribution of a Production and Operations Management (POM) manuscript. It ensures that the research explicitly addresses both a knowledge gap (theory) and a practice gap (operational levers), helping bridge the gap between technical results and actionable managerial insight required by top academic venues.

A comprehensive guide for authors handling the conditional acceptance stage of POPL. It details the two-gate process: first, satisfying the mandatory committee revisions, and second, de-anonymizing and formatting the paper for the official PACMPL journal issue. Covers metadata management, ORCIDs, open access rights, and logistical planning for the final conference talk.

Provides detailed guidelines for submitting empirical papers to POPL. It teaches authors how to correctly match specific claims (e.g., soundness, precision) with appropriate evidence types (proofs, case studies, effort data). The core principle emphasized is that evidence must demonstrate realizability but never substitute for the formal theorem.