Learning & Documentation Agent Skills for Devin Desktop

Use when handling the IEEE INFOCOM post-submission reality — that the venue has traditionally offered no author rebuttal — covering how to…

Use when reasoning about how an ISCA submission is evaluated — the two-round review structure with December and February reviewer waves…

Use when deciding whether a project belongs at ISCA, the ACM/IEEE flagship architecture symposium — testing whether the machine itself is…

Use when drafting or revising an ISCA paper's prose — organizing 11 pages around one architectural insight, writing the motivation section…

Use when positioning an ISSTA submission against the testing and analysis literature, covering the sibling venues (ICSE, FSE, ASE, ICST…

Use when explaining or planning around ISSTA peer review, covering double-anonymous reviewing, at least three PC reviews, the…

Use when auditing an ISSTA submission for HotCRP readiness, the 18-page (excluding references) limit, ACM sigconf plus review and…

Use when deciding what lives in the ISSTA 18-page body versus the artifact and any appendix, covering the no-unlimited-appendix reality…

Use when deciding whether a project is a strong ISSTA fit versus ICSE, FSE, ASE, ICST, PLDI/CAV, or an SE journal, identifying whether the…

Use to adapt the idea of an "artifact" to a pure-theory venue — at ITCS there is no artifact-evaluation track, no code, and no badges; the…

Use to operate under the reality that ITCS has no rebuttal or author-response phase — pre-empting reviewer objections inside the…

Use when preparing an accepted ITCS paper for open-access publication in LIPIcs — switching to the lipics-v2021 document class…

Use when deciding what counts as evidence for an ITCS theory claim — proofs as the primary evidence, worked examples and separations that…

Use when positioning an ITCS paper against the theory literature — writing the delta that proves the model/question is genuinely new…

Use to make an ITCS paper's mathematics independently checkable — complete proofs of every central claim, self-contained definitions…

Use to model the ITCS reviewing pipeline — a program committee plus external reviewers, conceptual-novelty weighting, lightweight…

Use when splitting an ITCS paper's content between the body, the appendix, and the arXiv/ECCC/ePrint full version — deciding by what a…

Use when deciding whether a theoretical-computer-science result belongs at ITCS or should be routed to STOC, FOCS, SODA, CCC, ICALP, TCC…

Use when drafting or revising an ITCS paper's abstract, introduction, and technical presentation so the conceptual innovation lands before…

Progressive context retrieval pattern for understanding unfamiliar codebases through iterative refinement

Use when publishing local Markdown as a new i讯飞 docx document or updating an approved existing docx document.