Skill UI

This comprehensive guide provides strict structural and technical guidelines for authors submitting papers to ACM SoCC. It mandates focusing on cloud-scale problems recognized by operators, emphasizing contributions at the intersection of systems and data. Key requirements include reporting tail latency (p95/p99) and concrete cost models, grounding every claim in measured, real-world evidence, and explicitly stating external limitations.

This guide provides specialized instructions for authors writing sociological theories. It teaches how to articulate a clear conceptual contribution by defining a 'new way of seeing' and rigorously differentiating the proposed theory from existing academic works. It ensures the claim is a conceptual advance, not merely a restatement or application.

A guide for academics on how to position a theoretical argument within existing sociological conversations and traditions. It teaches users how to explicitly state their intervention—whether extending, challenging, reconstructing, or synthesizing existing theories—to ensure the work is taken seriously by reviewers. It covers identifying live theoretical streams and avoiding common citation errors.

This guide outlines the rigorous, step-by-step process for constructing a robust sociological theory. It ensures academic rigor by requiring the explicit definition of concepts (including extension and distinction), stating underlying assumptions, specifying the social mechanisms that drive relationships, and deriving internally consistent theoretical propositions. It is essential for transforming raw ideas into a structured, defensible academic manuscript.

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 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 submitting theoretical computer science papers to SODA. It clarifies the distinction between SODA (theory-led) and ALENEX (experiment-led), advising on when and how to incorporate numerical evidence. The protocol details best practices for honest numerics, including instance generation discipline, claim-class labeling (illustration, evidence, motivation), and proper submission routing to ensure academic rigor.

This skill provides a comprehensive framework for ensuring the mathematical verifiability of advanced algorithms papers (like those submitted to SODA). It guides authors to establish a complete, checkable argument, documenting every claim, explicit model assumption, constant status, and providing machine-checkable steps. It moves beyond simple claims of accuracy to mandate full, reproducible proof structures.

A comprehensive guide for writing the evaluation section of a systems paper for top-tier conferences. It teaches authors how to map every technical claim to verifiable experiments, establish fair state-of-the-art baselines, utilize mixed workloads (microbenchmarks, E2E applications, and traces), and honestly report critical metrics like performance tails, variance, and overheads. The goal is to maximize credibility and withstand rigorous peer review.

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.

This resource models the complex, multi-stage review process for top-tier academic conferences, such as SOSP. It details the journey of a paper from initial submission through staged reviews, author rebuttal, and the final live committee decision. It helps users understand the structural dynamics of scholarly evaluation and how to strategically respond to reviewers' critiques.

This guide provides best practices for authors submitting to top-tier technical conferences. It clarifies the critical distinction between core, review-essential arguments (which must stand alone in the main paper) and supporting evidence (such as formal proofs, extra data analyses, or methodological details) suitable for an optional supplementary document. It also covers anonymity best practices and distinguishing between different submission types.