Skill UI

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

A comprehensive preflight checklist designed for submitting academic manuscripts to major journals. It ensures strict compliance with publishing standards, covering double-blind anonymization, required AI disclosure statements, ORCID linking, adherence to specific formatting rules (e.g., Chicago style, page limits), and data authenticity requirements for research integrity.

A comprehensive audit guide for the final pre-upload submission of UIST (User Interface Software and Technology) conference papers. This document details critical steps, including adhering to strict formatting rules (e.g., two-column layout, page limits), managing the abstract and paper deadlines, and executing thorough anonymity sweeps to prevent desk rejection. Essential reading for authors preparing for major academic conferences.

A comprehensive guide for authors submitting interactive system papers to UIST. It details the required narrative arc (walkthrough before mechanism), emphasizes technical specificity in implementation details, and provides rules for designing figures and structuring the argument within strict page limits.