Skill UI

A comprehensive strategy guide for authors preparing manuscripts for the ACM Symposium on Theory of Computing (STOC). It helps researchers determine the ideal fit, required evidence bar, and narrative framing for major theoretical contributions in algorithms, complexity, cryptography, and theoretical computer science.

A comprehensive guide for authors positioning theoretical computing research in top-tier venues like ITCS. It emphasizes defining the 'delta'—the genuinely new contribution—by leading comparisons with what prior work *did not* ask. The guide also covers best practices for multi-area surveying, maintaining academic honesty, and correctly handling self-citations under double-blind review conditions.

This guide outlines the rigorous standards for presenting 'evidence' in highly theoretical computing venues. It emphasizes that results must be supported by deep mathematical proofs, establishing matching upper and lower bounds (tightness), and meticulously auditing all underlying model assumptions (e.g., timing, failure modes). It shifts focus from empirical benchmarks to formal correctness.

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 comprehensive guide provides a rigorous framework for auditing the technical and mathematical evidence in theoretical computer science papers. It instructs authors on how to ensure that every claim—especially those regarding optimality or complexity bounds—is supported by matching lower and upper bounds, explicit assumptions, and consistent cost models. It emphasizes that the evidence must be robust proofs, not merely empirical benchmarks.

This skill provides comprehensive guidance for authors submitting highly rigorous theoretical computer science manuscripts to top-tier venues like SIAM Journal on Computing (SICOMP). It covers required standards for algorithmic design, computational complexity, formal proofs, house style, and the high bar for theoretical contribution necessary for foundational academic publishing.

This guide provides a comprehensive strategy for authors submitting to top theoretical computing conferences (like STOC). It covers best practices for pre-emptive objection handling, structuring the main submission to anticipate critiques, responding effectively to chair-mediated technical clarifications, and planning the subsequent resubmission memo for maximum impact.

A comprehensive guide for authors writing theoretical computer science papers. It details how to position a result within the existing academic lineage, ensuring rigorous citation practices, managing version discrepancies (preprint vs. journal), and honestly comparing bounds against prior work. Essential for meeting the high standards of top-tier conferences like STOC.