executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
stoc-related-workUse when positioning a STOC (ACM Symposium on Theory of Computing) paper against the theory literature — tracing bound-improvement lineages, citing conference/journal/preprint version pairs correctly, handling concurrent arXiv and ECCC work, and keeping self-citation double-blind-safe.
Independent GitHub snapshot · Automated classification · Original documentation governs
Theory positioning is quantitative: reviewers expect the paper to place its bounds in an explicit lineage ("[A] gave $O(n^2)$; [B] improved to $O(n \log n)$ under assumption X; we remove X and reach $O(n)quot;), and they check the lineage against their own memory of it. Errors here — a missed improvement, a misquoted exponent, a result attributed to the journal version's year instead of the conference announcement — are among the fastest credibility losses available at this venue.
| Lane | What must be covered | Typical miss |
|---|---|---|
| The direct lineage | Every prior bound on your exact problem, with its model | Quoting the weakest prior bound to inflate the delta |
| The barrier literature | Known obstructions your result confronts (relativization, natural proofs, hardness reductions, integrality gaps) | Claiming a breakthrough while silent on why the barrier does not apply |
| Neighboring models | The same question in weaker/stronger models (randomized vs. deterministic, static vs. dynamic, classical vs. quantum) | "First" claims that are only first in one cell of the model grid |
| Technique ancestry | Where your machinery comes from, even from other subfields | Reviewers who invented the machinery are plausibly your reviewers |
| Concurrent work | Recent arXiv/ECCC preprints on the problem | The subreviewer knows about last month's preprint; your draft predates it |
Most important theory results exist as a conference extended abstract, a later journal version, and a preprint — and they can differ mathematically (bounds improve; bugs get fixed in the journal version). House rules:
@inproceedings{ST01-smoothed,
author = {Spielman, Daniel A. and Teng, Shang-Hua},
title = {Smoothed Analysis of Algorithms: Why the Simplex Algorithm
Usually Takes Polynomial Time},
booktitle = {Proc. 33rd ACM Symposium on Theory of Computing (STOC)},
pages = {296--305},
year = {2001},
note = {Journal version: J. ACM 51(3), 2004}
}
The arXiv/ECCC-first culture means collisions are visible within days, not years. Norms as practiced:
STOC 2026 was double-blind (checked 2026-07-08). Your prior work is often the nearest related work, so:
stoc-author-response's
objection ledger).cs.DS, cs.CC, and your problem's other categories) and
ECCC for the problem's standard names and their variants; theory titles are
conventional enough that keyword search works.[Lineage table] complete / gaps: <missing bounds or models>
[Barrier account] addressed / silent <- fix before review
[Version hygiene] statements matched to cited versions? dblp-verified?
[Concurrency] <preprints found in final sweep; comparison note drafted?>
[Self-citation] double-blind-safe / leaks: <list>