Skill UI

This advanced skill performs a zero-context, multi-layered verification of every bibliographic citation within an academic manuscript. It checks for the existence of cited works, verifies the correctness of metadata (authors, years, venues), and, crucially, ensures the cited paper actually supports the claim it is used for. Essential for pre-submission quality control.

This skill provides a comprehensive, paragraph-level structural blueprint for writing top-tier systems conference papers (e.g., OSDI, SOSP, ASPLOS). It meticulously outlines page allocation, section-specific templates (like the 5-sentence abstract or Problem-Gap-Insight structure), and rigorous writing patterns (Gap Analysis, Observation-Driven) required for industry-leading academic submissions.

This skill orchestrates the constrained resubmission of a highly polished academic paper from one conference or workshop venue to another. It is designed for scenarios where the paper is finalized, and the goal is to absorb specific reviewer critiques (e.g., clarifying statements or minor edits) without introducing new experiments, changing the core bibliography, or restructuring the framework. It ensures the new submission is isolated in a sibling directory, preserving the integrity of prior submissions.