Skill UI

This tool guides the transformation of academic manuscripts, particularly in the social sciences, from a policy-report or work-summary tone into a rigorous scholarly argument. It helps users replace vague slogans and empty claims with concrete theoretical mechanisms, ensuring the writing maintains a scholarly, restrained, and macro-perspective, and that every paragraph centers on a discernible core proposition.

This skill activates 'Steno Mode,' providing highly compressed, expert-level responses by eliminating filler words and superfluous tokens (up to 40% reduction). It maintains absolute technical precision, making it ideal for technical communications like code reviews, debugging Q&A, and architecture summaries. Users can select four defined levels (lite, brief, court, machine) to control the density, with exactness always taking top priority.

A comprehensive pre-submission checklist for authors preparing papers for TACAS/ETAPS. It guides users through selecting the correct paper category (research, tool, case-study), adhering to specific Springer LNCS page limits, managing double-blind vs. single-blind review rules, and correctly staging mandatory tool artifacts to ensure acceptance readiness.

A specialized guide for researchers targeting the journal Taxation Research. It helps users vet their manuscripts for alignment with the journal's scope, structure, and academic expectations. The skill covers core themes such as tax reform, digital taxation, and international tax, while providing detailed advice on abstract writing, citation styles, methodology strength, and avoiding common rejection pitfalls.

This skill processes unstructured, rambling, stream-of-consciousness input (like dictation or brainstorming) into a highly structured 'echo' audit. It captures the user's core mission, locked decisions, open questions, and all model inferences, ensuring the user verifies the model's belief, not just the stated doubts. Ideal for refining fuzzy ideas before committing to work.

This guide provides a rigorous methodology for achieving scientific reproducibility in technical and user experience papers (e.g., UIST). It details three essential 'ledgers': the Build Ledger (pinning software, hardware, and environment dependencies), the Measurement Ledger (defining precise protocols for metrics like latency and accuracy), and the Study Ledger (documenting human evaluation tasks). Following these protocols ensures that external researchers can accurately rebuild the artifact and validate reported results.

A comprehensive guide to navigating the UIST (User Interface Software and Technology) academic review pipeline. It details every stage, from initial submission and expert review to the rebuttal phase and final committee decisions. The guide teaches authors how to critically analyze reviewer feedback, identify evidence gaps, strengthen novelty claims, and strategically plan for conditional acceptance or resubmission.

A comprehensive audit guide for the final pre-upload submission of UIST (User Interface Software and Technology) conference papers. This document details critical steps, including adhering to strict formatting rules (e.g., two-column layout, page limits), managing the abstract and paper deadlines, and executing thorough anonymity sweeps to prevent desk rejection. Essential reading for authors preparing for major academic conferences.

A comprehensive guide for researchers determining if their Human-Computer Interaction (HCI) project contribution is an 'interface artifact' suitable for UIST, or if it belongs to a different venue like CHI or CSCW. It employs the 'artifact-subtraction test' to distinguish between technical system novelty and empirical user findings, ensuring proper conference submission routing.

A comprehensive audit checklist for designing and evaluating security experiments, adhering to the highest academic standards (e.g., USENIX Security). It guides users through verifying adaptive attacker models, calculating precision at realistic base rates, ensuring statistical honesty for stochastic results, and maintaining ethical compliance when working with live systems.

A comprehensive guide for revising visualization research papers for top-tier conferences and journals (e.g., IEEE VIS/TVCG). It mandates shifting focus from aesthetic design to rigorous, task-grounded contributions. Users learn how to justify every visual encoding and interaction based on the analytical task, ensure evaluation methods match the contribution type, and structure the narrative around the data-task problem.

A comprehensive guide for researchers on how to effectively position academic contributions, particularly for top-tier development economics journals. It instructs users to move beyond merely stating a research topic (e.g., 'first to study X in Y') by framing their findings as generalizable claims about underlying mechanisms or quantitative gaps. Key focus areas include linking academic gaps to active development policy debates and strategically distinguishing the work from similar fields like JDE or World Development.