All authors
Claude Skills by brycewang-stanford
github.com/brycewang-stanford5,310 skills37 installs6,514 views
- Socc ExperimentsUse when designing or auditing ACM SoCC evaluations, covering real or realistic deployments over simulation, production or representative workloads and traces, tail-latency and cost as first-class metrics, fair tuned baselines, scale and multi-tenancy behavior, reproducible measurement pipelines, and matching evidence to the shape of each cloud claim.Votes: 0GitHub stars: 1,052
- Socc Related WorkUse when positioning an ACM SoCC submission against both the systems literature (OSDI, NSDI, EuroSys, ATC, SOSP, SoCC) and the data-management literature (SIGMOD, VLDB), writing delta-first contrast rather than a citation catalog, keeping self-citations dual-anonymous, and handling concurrent, preprint, and prior-version overlap.Votes: 0GitHub stars: 1,052
- Socc ReproducibilityUse when strengthening ACM SoCC reproducibility, covering the testbed and workload description, released code and traces, provenance pinning for measurement studies, reproducing tail-latency and cost (not just the mean), claim-to-evidence mapping, honest degrees of reproducibility, and consistency between what the paper reports and what the artifact regenerates.Votes: 0GitHub stars: 1,052
- Socc Review ProcessUse when reasoning about how an ACM SoCC submission is evaluated, covering dual-anonymous review, the two-round-per-year model with the no-cross-round-resubmission rule, the author-response (rebuttal) period, the joint SIGMOD+SIGOPS reviewer pool that reads for both systems and data quality, and how SoCC's process differs from OSDI/NSDI/EuroSys.Votes: 0GitHub stars: 1,052
- Socc SubmissionUse when auditing an ACM SoCC (Symposium on Cloud Computing) research-paper submission for HotCRP readiness, covering the two-round abstract+paper deadlines, the acmart/sigconf 12-page (full) or 6-page (short) budget with unlimited references, dual-anonymous review, the systems-and-data reproducibility posture, and desk-reject triage before the AoE cutoff.Votes: 0GitHub stars: 1,052
- Socc SupplementaryUse when deciding what belongs in an ACM SoCC paper body versus its released artifact and appendices, covering the acmart 12-page (full) or 6-page (short) budget with unlimited references, the rule that decision-critical evidence stays inside the reviewed pages, dual-anonymous supplementary material, and how to split a cloud-systems measurement paper between body and package.Votes: 0GitHub stars: 1,052
- Socc Topic SelectionUse when deciding whether a cloud-computing project belongs at ACM SoCC or should be routed to OSDI, NSDI, EuroSys, USENIX ATC, SOSP, or a data venue (SIGMOD/VLDB), leaning on SoCC's unique joint SIGMOD+SIGOPS identity, its welcome of measurement and experience papers alongside systems-building, and the model-swap and re-label tests.Votes: 0GitHub stars: 1,052
- Socc WorkflowUse when planning an ACM SoCC project timeline from venue fit through the two-round abstract+paper deadlines, the rebuttal, notification, camera-ready, and presentation, with backward-planning offsets for a cloud-systems measurement paper and honest handling of the two-rounds-per-year cadence and the no-cross-round-resubmission rule.Votes: 0GitHub stars: 1,052
- Socc Writing StyleUse when revising an ACM SoCC paper for a cloud-scale problem an operator recognizes on the first page, a contribution at the systems-and-data intersection, evidence measured on a real or realistic deployment with tail latency and cost as first-class, dual-anonymous wording, and disciplined use of the acmart 12-page budget.Votes: 0GitHub stars: 1,052
- Smr Derivation And PropertiesUse when stating assumptions, identification, and analytical properties (bias, consistency, efficiency, asymptotics, validity conditions) of a method in a Sociological Methods & Research (SMR) paper. Audits the theory and proof economy; does not design the Monte Carlo or the real-data illustration.Votes: 0GitHub stars: 1,052
- Smr Empirical IllustrationUse when building the real-data empirical illustration for a Sociological Methods & Research (SMR) paper — a demonstration that the method changes a substantive conclusion, not a decorative example. Designs the illustration; does not derive properties or design the Monte Carlo.Votes: 0GitHub stars: 1,052
- Smr Literature PositioningUse when positioning a Sociological Methods & Research (SMR) manuscript against the methods literature across sociology, statistics, econometrics, psychometrics, and computational social science, and avoiding sibling-journal misattribution. Maps the contribution onto prior methods; does not derive or simulate.Votes: 0GitHub stars: 1,052
- Smr Method ContributionUse when sharpening the core methodological claim of a Sociological Methods & Research (SMR) paper — the new estimator/design/diagnostic and exactly what it fixes versus existing methods. Frames and bounds the contribution; does not derive its properties or run simulations.Votes: 0GitHub stars: 1,052
- Smr RebuttalUse when responding to a Sociological Methods & Research (SMR) decision letter — drafting the point-by-point response and revision plan for properties, simulations, the empirical illustration, software, and exposition under SMR's verbatim-comment response format. Plans the response; does not run new analyses itself.Votes: 0GitHub stars: 1,052
- Smr Simulation StudiesUse when designing the Monte Carlo simulation study for a Sociological Methods & Research (SMR) paper — data-generating processes, competing methods, performance metrics, and the regimes where the method wins or breaks. Designs the simulation; does not derive properties or run the real-data illustration.Votes: 0GitHub stars: 1,052
- Smr Software And ReproducibilityUse when preparing the released software, code, data, and reproducibility materials for a Sociological Methods & Research (SMR) paper — a usable package plus scripts that recreate every table, figure, and simulation, and the SMR data-and-code availability statement. Builds the reproducibility layer; does not write the manuscript.Votes: 0GitHub stars: 1,052
- Smr SubmissionUse when running the final Sociological Methods & Research (SMR) pre-submission check for ScholarOne — double-anonymization, separate title page, ASA style, ≤150-word non-parenthetical abstract, data-and-code availability statement, AI disclosure, and file formats. Preflights the submission; does not draft the science.Votes: 0GitHub stars: 1,052
- Smr Tables FiguresUse when designing tables and figures for a Sociological Methods & Research (SMR) paper — self-contained simulation grids, method-comparison tables, diagnostic plots, and equation/notation exhibits in ASA-styled format. Designs exhibits; does not write prose or run analyses.Votes: 0GitHub stars: 1,052
- Smr Topic SelectionUse when deciding whether a project clears the Sociological Methods & Research (SMR) bar — a genuine methodological contribution (develop, evaluate, or critically assess a method), not an application dressed as method. Screens fit and scope; does not derive properties or design simulations.Votes: 0GitHub stars: 1,052
- Smr WorkflowUse when sequencing a Sociological Methods & Research (SMR) manuscript from method-contribution fit through derivation and properties, Monte Carlo simulation, real-data empirical illustration, released software, ScholarOne submission, double-anonymized review, and rebuttal. Routes to the right SMR skill; does not itself draft sections.Votes: 0GitHub stars: 1,052
- Smr Writing StyleUse when revising prose for a Sociological Methods & Research (SMR) manuscript — methods-paper introduction arc, ASA citation style, the ≤150-word non-parenthetical abstract, and clear exposition of estimands, assumptions, and results. Edits prose and conformance; does not derive or simulate.Votes: 0GitHub stars: 1,052
- Soctheory Argument DevelopmentUse when stress-testing the reasoning of a Sociological Theory (ST) manuscript — turning stated propositions into a valid, warranted argument that survives rival theories and counter-cases. Develops and audits the argument; it does NOT define the concepts (soctheory-theory-construction) or bound the theory's domain (soctheory-boundary-conditions).Votes: 0GitHub stars: 1,052
- Soctheory Boundary ConditionsUse when specifying the scope, domain, and limits of a Sociological Theory (ST) manuscript's theory — stating where it holds, where it does not, and what it does NOT claim. Bounds the theory as a contribution; it does NOT build the concepts (soctheory-theory-construction) or audit the reasoning (soctheory-argument-development).Votes: 0GitHub stars: 1,052
- Soctheory Conceptual ExhibitsUse when building the figures and typologies of a Sociological Theory (ST) manuscript — mechanism diagrams, process models, 2x2 typologies, and concept maps that carry theoretical work (never regression tables or data plots). Designs conceptual exhibits; it does NOT build the underlying theory (soctheory-theory-construction) or write the prose (soctheory-writing-style).Votes: 0GitHub stars: 1,052
- Soctheory Contribution FramingUse when articulating the theoretical contribution of a Sociological Theory (ST) manuscript — naming the new way of seeing it provides and differentiating it from prior theory. Frames the contribution; it does NOT build the theory (soctheory-theory-construction) or audit its reasoning (soctheory-argument-development).Votes: 0GitHub stars: 1,052
- Soctheory Literature PositioningUse when locating a Sociological Theory (ST) manuscript in a tradition and conversation — naming whose theory you extend, challenge, or synthesize, and avoiding sibling-journal misattribution. Positions the argument; it does NOT build the concepts (soctheory-theory-construction) or frame the novelty (soctheory-contribution-framing).Votes: 0GitHub stars: 1,052
- Soctheory RebuttalUse when writing the response document for a Sociological Theory (ST) Revise & Resubmit — structuring point-by-point replies that show the theory was genuinely strengthened, not just defended. Drafts the response; revise the manuscript's theory FIRST (soctheory-theory-construction / soctheory-argument-development) before writing the letter.Votes: 0GitHub stars: 1,052
- Soctheory Review ProcessUse when you need to understand Sociological Theory (ST)'s double-anonymous peer review and interpret a decision letter focused on conceptual novelty and logical soundness. Explains the process and decision types; it does NOT draft the response document (that is soctheory-rebuttal).Votes: 0GitHub stars: 1,052
- Soctheory SubmissionUse when running the final pre-submission preflight for a Sociological Theory (ST) manuscript — Manuscript Central portal, ASA format and length cap, abstract, masking for double-anonymous review, ASA-style references, fee, ethics/originality, and required files. Theory-only journal; there is no data-availability or replication step.Votes: 0GitHub stars: 1,052
- Soctheory Theory ConstructionUse when building the actual theory for a Sociological Theory (ST) manuscript — turning a positioned problem into defined concepts, explicit mechanisms, internally consistent propositions, and scope conditions. Constructs the theory; it does NOT stress-test the argument's validity against rivals (soctheory-argument-development) or set the domain limits (soctheory-boundary-conditions).Votes: 0GitHub stars: 1,052
- Soctheory Topic SelectionUse when deciding whether an idea is a genuine theoretical problem and a fit for Sociological Theory (ST) rather than an empirical study or a review essay. Screens the problem and venue fit; it does NOT build the theory (soctheory-theory-construction) or position it in a tradition (soctheory-literature-positioning).Votes: 0GitHub stars: 1,052
- Soctheory WorkflowUse when deciding which soctheory-* sub-skill to invoke next, or when sequencing a Sociological Theory manuscript from theoretical-problem framing through peer-review revision for a Sociological Theory (ST) submission. Routes — does not replace — the specialized skills.Votes: 0GitHub stars: 1,052
- Soctheory Writing StyleUse when drafting or polishing a Sociological Theory (ST) manuscript so it reads as an argument for a broad theoretical readership, follows the ASA Style Guide, and fits ST's length cap (max ~14,500 words inclusive of footnotes, references, tables, figures, and appendices — verify current). Tightens prose and format; it does not invent content.Votes: 0GitHub stars: 1,052
- Tacas Artifact EvaluationUse when packaging a TACAS (ETAPS) artifact for the ETAPS Artifact Badges (Available, Functional, Reusable), covering the two-round model (mandatory, PC-parallel evaluation for tool and tool-demo papers vs voluntary post-acceptance evaluation for research and case-study papers), what the AEC checks on the clean evaluation VM, DOI-issuing archives, and evaluator-proof documentation.Votes: 0GitHub stars: 1,052
- Tacas Author ResponseUse when drafting a TACAS (ETAPS) author response for the rebuttal window, covering the short single-round rebuttal, answering soundness and benchmark-fairness objections with checkable evidence, addressing artifact concerns for tool papers, respecting the per-category blind model when it applies, and reading which objections a rebuttal can and cannot move.Votes: 0GitHub stars: 1,052
- Tacas Camera ReadyUse when preparing an accepted TACAS (ETAPS) paper for its Springer LNCS camera-ready, covering de-anonymization of a double-blind research paper, the llncs.cls format and LNCS metadata (ORCID, references, the Springer copyright/consent-to-publish form), the gold-open-access CC-BY licensing, integrating reviewer-required changes without scope creep, permanentizing artifact links, and adding earned ETAPS artifact badges to the title page.Votes: 0GitHub stars: 1,052
- Tacas ExperimentsUse when designing or auditing a TACAS (ETAPS) evaluation, covering shared verification benchmarks (SV-COMP-style task sets), fair baseline configuration and equal time budgets, honest wall-clock/scalability reporting on stated hardware, soundness checking of results, reproducibility on the clean artifact VM, and how a TACAS tool-paper evaluation differs from a SV-COMP competition entry.Votes: 0GitHub stars: 1,052
- Tacas Related WorkUse when positioning a TACAS (ETAPS) submission against the verification literature across TACAS, CAV, VMCAI, FMCAD, SPIN, and journals (STTT, FMSD), writing delta-first contrast against the nearest tools and algorithms, crediting the benchmarks and solvers you build on, keeping self-citations anonymous for double-blind research papers, and handling competition-tool and prior-version overlap.Votes: 0GitHub stars: 1,052
- Tacas ReproducibilityUse when strengthening TACAS (ETAPS) reproducibility, covering the clean evaluation-VM packaging that the artifact process assumes, pinned dependencies and offline execution, a claim-to-script mapping so every benchmark number regenerates, honest degrees of reproducibility, consistency between the paper and the artifact, and the category difference between a mandatory tool-paper artifact and a voluntary research-paper artifact.Votes: 0GitHub stars: 1,052
- Tacas Review ProcessUse when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs single-blind tool/case-study), the single annual PC round with a rebuttal, the parallel mandatory artifact evaluation that feeds tool-paper acceptance, accept/reject decisions, and how TACAS's process differs from CAV's and from a journal's.Votes: 0GitHub stars: 1,052
- Tacas SubmissionUse when auditing a TACAS (ETAPS) submission for EasyChair readiness, covering the choice among the four paper categories (research, case-study, regular tool, tool-demonstration), the correct LNCS page limit and llncs.cls format, the per-category blind mode (double-blind research vs single-blind tool/case-study), the mandatory tool-paper artifact deadline, and desk-reject triage before the firm ETAPS deadline.Votes: 0GitHub stars: 1,052
- Tacas SupplementaryUse when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the 16-page (or 6-page) llncs.cls budget that excludes references and appendix, the rule that decision-critical content stays in the reviewed pages, category-appropriate anonymity of supplementary material, and how to split a verification paper between body, appendix, and a mandatory-or-voluntary artifact.Votes: 0GitHub stars: 1,052
- Tacas Topic SelectionUse when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a journal, AND — distinctively — which of TACAS's four categories (research, case-study, regular tool, tool-demonstration) it fits, plus whether the work is a SV-COMP competition contribution rather than a paper.Votes: 0GitHub stars: 1,052
- Tacas WorkflowUse when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory tool-paper artifact deadline, the rebuttal window, notification, the voluntary post-acceptance artifact round, LNCS camera-ready, and presentation, with backward-planning offsets that account for TACAS's single annual round and its parallel paper+artifact review.Votes: 0GitHub stars: 1,052
- Tacas Writing StyleUse when revising a TACAS (ETAPS) paper for a clear construction-or-analysis contribution on the first page, a stated soundness/completeness claim, honest benchmark evidence, category-appropriate structure (research vs tool vs case-study vs tool-demo), disciplined use of the 16-page (or 6-page) LNCS budget, and correct handling of double-blind wording for research papers.Votes: 0GitHub stars: 1,052
- Ecj IdentificationUse when the empirical identification strategy is the bottleneck for a The Economic Journal (EJ) manuscript — quasi-experimental designs (DID, IV, RDD, event study) or structural estimation. Stress-tests the design and its economic interpretation before drafting tables; it does not write the model from scratch (see ecj-theory-model).Votes: 0GitHub stars: 1,052
- Ecj Literature PositioningUse when writing or repairing the introduction and related-work framing for a The Economic Journal (EJ) manuscript — situating the contribution for a broad economics readership with author-date citations. Frames positioning and the intro arc; it does not run the empirics or build the model.Votes: 0GitHub stars: 1,052
- Ecj RebuttalUse when a The Economic Journal (EJ) decision letter (R&R or reject-with-encouragement) has arrived and you need to draft the response-to-referees letter and revision plan. Structures the response and the diff; it does not redo the analysis (route back to ecj-identification / ecj-theory-model / ecj-robustness first).Votes: 0GitHub stars: 1,052
- Ecj Referee StrategyUse when running a pre-submission pre-mortem on a The Economic Journal (EJ) manuscript to anticipate the broad-interest, identification, and mechanism objections a demanding general-interest referee will raise. Builds the threat list and pre-empts it; it does not write the R&R response (see ecj-rebuttal).Votes: 0GitHub stars: 1,052
- Ecj Replication PackageUse when assembling the data and code replication package for a The Economic Journal (EJ) manuscript to the RES / EJ Data Editor standard (DCAS-endorsed, Zenodo deposit, reproducibility check before final acceptance). Builds the package and README; it does not run the analysis itself.Votes: 0GitHub stars: 1,052