Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Use when preparing an accepted IPSN-lineage paper for camera-ready, covering de-anonymization, the ACM Primary Article Template and the dual ACM/IEEE metadata (CCS concepts, ORCID, DOI, IEEE PDF eXpress/e-copyright), integrating required changes without scope creep, permanentizing dataset/firmware links, and the artifact-award handoff.
Use when deciding what belongs in an IPSN-lineage paper body versus its artifact, appendix, and demo/poster track, covering the ≤12-page ACM two-column budget, the rule that decision-critical evidence stays inside the reviewed pages, double-blind supplementary material, dataset release, and how to split a sensor-systems paper between body and package.
Use when converting an accepted ISCA paper into its published form — de-anonymizing authors, acknowledgments, and artifact links; satisfying the edition's publisher workflow under the alternating ACM/IEEE arrangement; integrating shepherd requirements and badges; and preparing the June talk and attendance logistics.
Use when running the final pre-deadline audit of an ISCA submission — the two-step abstract-then-paper gate a week apart, the 11-page text limit with unlimited references, the template check, the double-blind sweep including PDF metadata and anonymized artifact links, and HotCRP form completion before AoE.
Use when running the final pre-submission preflight for an Information Systems Research (ISR) manuscript — INFORMS ScholarOne portal, double-anonymization, the 32/38-page cap and formatting, the mandatory ~500-word contribution statement, and the required editor/reviewer nominations in the cover letter. Checks readiness to submit; it does not handle the post-decision response (isr-rebuttal).
Use when preparing an accepted ISSTA paper for the ACM Digital Library camera-ready, covering de-anonymization, the final ACM sigconf layout without the review/anonymous options, ACM rights forms and DOI, metadata and CCS concepts, the artifact DOI and badge display, registration, and the in-person presentation obligation.
Use when auditing an ISSTA submission for HotCRP readiness, the 18-page (excluding references) limit, ACM sigconf plus review and anonymous formatting, double-anonymous integrity, the January deadline, artifact intent, track choice among research/experience/replicability, and desk-reject triggers before the phase-one upload.
Use when preparing an accepted ITCS paper for open-access publication in LIPIcs — switching to the lipics-v2021 document class, de-anonymizing, completing LIPIcs metadata (ACM CCS, keywords, funding), folding in reviewer-noted fixes, and passing the Schloss Dagstuhl production checks.
Use to make an ITCS paper's mathematics independently checkable — complete proofs of every central claim, self-contained definitions, pinned dependencies on prior results, and a matching full version on arXiv/ECCC/ePrint — the pure-theory analogue of a reproducibility package.
Use when splitting an ITCS paper's content between the body, the appendix, and the arXiv/ECCC/ePrint full version — deciding by what a reviewer must verify, so no central proof lives only in a preprint the PC is not obligated to read, while keeping the first-10-pages merits window clean.