Skill UI

A comprehensive pre-submission checklist designed for academics submitting manuscripts to scholarly journals. It covers crucial formatting rules, such as specific citation styles (Author-Date), bibliography standards (GB/T 7714), appropriate use of footnotes, abstract/keyword length limits, and guidelines for maintaining anonymity during the review process. Essential for ensuring submissions meet strict academic publishing requirements.

A comprehensive guide for authors submitting to SODA (ACM-SIAM Symposium on Discrete Algorithms). It clarifies the rules for including computational evidence, distinguishing between proofs relying on computation, supporting implementations, and full experimental contributions. It emphasizes using verifiable certificates and structuring the submission for rigorous, independent review.

A comprehensive guide to structuring and drafting rebuttal responses for top-tier academic conferences like SODA. This process teaches authors how to efficiently address referee concerns within a strict time limit, distinguishing between genuine flaws and simple misreadings. It emphasizes evidence anchoring, maintaining anonymity, and adhering to strict submission rules to maximize impact during the short response window.

A comprehensive guide for authors transitioning an accepted paper from a full draft to the strict, camera-ready proceedings format required by major conferences like SODA. It covers critical steps such as content compression, de-anonymization (restoring author metadata), adhering to SIAM formatting rules, and establishing proper citation hygiene across multiple versions (proceedings, arXiv, journal).

A comprehensive guide for authors preparing and auditing submissions for SODA (ACM-SIAM Symposium on Discrete Algorithms). Covers critical guidelines including the no-page-limit full version requirement, strict formatting rules (11pt, single column), lightweight double-blind rules, HotCRP mechanics, and an hour-by-hour checklist for the final submission window.

This guide provides expert advice on structuring and writing the 'Related Work' section for top-tier systems conferences (like SOSP/OSDI). It emphasizes shifting from simple citation lists to structural positioning, requiring authors to identify precise differences (e.g., assumption, mechanism, guarantee) between their work and existing research. It also covers academic lineage tracing, double-blind citation rules, and handling concurrent work.

A comprehensive audit guide for preparing academic papers for the SOSP conference. This checklist details critical compliance points, including strict deadlines (abstract registration and full paper upload), strict formatting rules (12-page limit, two-column layout), robust anonymization techniques, and conflict declaration best practices. Use this before uploading any material to ensure high quality and avoid desk rejection.

A comprehensive guide tailored for authors submitting manuscripts to *Scientia Sinica Informationis* (SSI). It details the mandatory high-impact structural arc (Problem, Gap, Contribution, Evidence, Significance), covers dual-language abstract requirements, and specifies rigorous formatting rules for units, variables, and citations, ensuring adherence to top-tier academic standards.

A comprehensive pre-submission checklist for authors preparing papers for TACAS/ETAPS. It guides users through selecting the correct paper category (research, tool, case-study), adhering to specific Springer LNCS page limits, managing double-blind vs. single-blind review rules, and correctly staging mandatory tool artifacts to ensure acceptance readiness.

This guide provides comprehensive rules for structuring academic technical papers, specifically addressing the division of content between the main body, appendices, supplementary websites, and mandatory artifacts. It ensures that all decision-critical arguments, soundness claims, and core comparisons are contained within the primary reviewed pages, making the paper fully judgeable without external resources.

This guide provides comprehensive rules for authors submitting research papers to verification experts (TACAS/LNCS). It emphasizes stating the core contribution immediately, explicitly claiming soundness or completeness, supporting empirical claims with fair and reproducible benchmarks, and aligning the paper structure with its specific category (research, tool, case study).

This comprehensive guide details the rigorous review process used by top academic journals. It explains the tiered editor structure, the critical double-blind review model, and how to interpret various decision letters (desk reject, reject, revise and resubmit). It helps authors set realistic expectations, understand professional academic integrity rules, and prepare best practices for manuscript submission.