Skill UI

This skill provides comprehensive guidance for positioning computer graphics, visualization, and geometric computing manuscripts for the Pacific Graphics conference. It covers conference fit evaluation, necessary framing adjustments, evidence bar construction, and strategic advice for maximizing submission success in the Asia-Pacific visual computing domain. Ideal for authors needing to refine their paper's focus for a selective CS venue.

This comprehensive guide helps researchers decide the optimal venue for their ubiquitous computing (Ubicomp) paper. It provides detailed criteria for distinguishing contributions—such as human-centricity, core insight, and system focus—and advises on routing between major conferences (PerCom, MobiCom, SenSys) and journals (UbiComp/IMWUT) based on contribution shape and publication model.

Provides a comprehensive, milestone-based project management guide for submitting a paper to the IEEE PerCom conference. It outlines the entire workflow, from initial venue fit and securing human-subjects data collection to final camera-ready submission, emphasizing the single annual deadline and the critical importance of backward planning for successful academic publishing.

This skill provides comprehensive guidance for authors considering submitting a large-scale, monograph-length review to Physics Reports. It covers journal positioning, required scope across all physics subfields, the rigorous evidence bar, house style, and submission checklist. Use this tool to help structure and refine an article intended to become a definitive, self-contained academic reference.

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

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 critical advice on structuring technical research papers for major academic conferences. It emphasizes the crucial distinction between 'decision-critical' content (must appear in the first 10 pages) and 'verification-detail' content (can be deferred to the appendix). It also advises on choosing the correct submission track (Regular Paper vs. Brief Announcement).

This guide helps researchers navigate the complex landscape of academic publishing in distributed computing. It provides detailed criteria to differentiate between major specialized venues (like PODC, DISC, SPAA) and general systems conferences (ICDCS, OSDI). By analyzing the model, cost measure, and nature of the proof (e.g., provable guarantees, impossibility results), users can determine the best fit for their theoretical contribution, thereby avoiding common submission mistakes and maximizing impact.

This guide outlines the rigorous standards for academic paper reproducibility, particularly for theoretical venues. It mandates a complete, self-contained claim-to-proof map, ensuring every stated theorem or bound is fully provable within the submitted document, thereby preventing reliance on external or deferred proofs.

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.

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.