Skill UI

This guide helps researchers evaluate if their systems project meets the standards of top-tier conferences like SOSP. It details the critical 'SOSP shape test'—requiring an extractable Principle, a real Embodiment, and evidence at the claim's scale. It provides a routing table to recommend the most appropriate venue (e.g., OSDI, NSDI) based on the project's center of gravity.

This comprehensive guide helps researchers defend their complex study designs—whether they involve lab experiments, large-scale surveys, or qualitative observations—against rigorous methodological critique. It emphasizes establishing a clear, credible link between theoretical mechanisms and empirical evidence, focusing specifically on the structure-individual link. It covers advanced inference techniques, identifying potential confounding variables, and articulating the design's limitations.

This guide provides detailed guidelines for authors submitting to top-tier formal methods conferences (like TACAS). It emphasizes moving beyond simple literature summaries by employing a "delta-first" approach. Authors must precisely position their algorithm or tool by contrasting its novel features, guarantees, or scaling benefits against the nearest prior work, while also crediting underlying infrastructure and covering major verification venues.

A comprehensive guide to assessing whether a mental health or psychiatry study is suitable for publication in The Lancet Psychiatry. It details the journal's high standards, focusing on large-scale population/epidemiological analyses, policy relevance, and rigorous methodology (e.g., RCTs, cohort studies). The skill helps authors re-frame their research question to meet global health and system-level impact requirements, covering reporting guidelines (CONSORT/STROBE/PRISMA) and submission structure.

This skill acts as a comprehensive guide for authors targeting the USENIX Symposium on Networked Systems Design and Implementation (NSDI). It helps authors assess the fit of their research in networked, distributed, or cloud systems, providing strategic advice on paper reframing, required levels of evidence (e.g., real-scale deployment), and accurate positioning relative to closely related conferences like OSDI and SIGCOMM. It is a critical tool for optimizing conference submission chances.

A comprehensive guide for designing and presenting highly rigorous technical evaluations for database or system papers. It covers establishing baseline necessity, proving mechanism causality through ablation, testing scalability across data sizes, and mandating the disclosure of loss cases to satisfy skeptical academic reviewers.

This comprehensive guide helps researchers determine if their project qualifies as a core data-management primitive, which specific PVLDB category (Regular, EA&B, Scalable Data Science, Vision) it belongs to, and whether a major data conference like VLDB or SIGMOD is the optimal submission venue. It provides a rigorous primitive test and detailed routing advice for top-tier data systems research.

A comprehensive guide for authors submitting papers to web conferences. It details how to structure empirical claims, ensuring evidence matches the claim's scope (scale, freshness, generalizability). The guide covers avoiding methodological flaws like temporal or popularity leakage, selecting datasets with proper provenance, and performing rigorous ablations and statistical analysis for maximum academic rigor.

This skill models the entire peer-review pipeline for Web Conferences (WWW), detailing the stages from abstract submission to final notification. It guides authors and reviewers on the implications of track-scoped double-blind review, emphasizing criteria such as Web-centricity, evidence scale, and ethical considerations required for acceptance.

A comprehensive guide for authors drafting or revising academic papers for Web Conference (WWW). It teaches how to structure the paper around a web-native mechanism, quantify scale, and write for a mixed computing and social science audience. Learn best practices for page-one impact, compression, and stylistic details to maximize review scores.

This skill establishes the root directory for a collaborative workshop, serving as a centralized project hub. It manages two distinct paths: using an existing local directory (Path A), or initializing a new private GitHub repository (Path B). It scaffolds the necessary structure—including `desks/`, `bench/`, and `CAIRN.md`—while strictly preserving existing work and preventing repository nesting. Ideal for standardizing project setup and maintaining collaboration standards.

Scans your local machine's Git history to locate abandoned or unfinished side projects. It performs a deep 'autopsy' on these repositories, determining their causes of death (e.g., deployment fear, killed by newer ideas) and identifying personal developmental patterns. The tool then surfaces the most promising candidate for resurrection, helping you finally ship it.