Skill UI

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.

This guide provides a strategic framework for drafting author responses to challenging peer reviews in academic conferences. It teaches authors how to structure replies by addressing four key axes (Correctness, Novelty, Backing, Clarity), ensuring technical precision, maintaining anonymity, and framing commitments that survive the subsequent Area Chair (AC) discussion phase.

A comprehensive guide detailing how to package and present research artifacts—including code, hardware designs, and datasets—for major academic conferences. It outlines best practices for both initial review-time evidence and long-term public reuse, ensuring reproducibility and maximizing the chances of adoption by future builders.

This guide outlines the crucial, multi-stage process of converting a conditionally accepted academic paper into the final, publishable camera-ready version for top-tier conferences. It covers fulfilling rebuttal promises, meeting strict ACM accessibility standards (e.g., alt text for every figure and table), managing the ACM TAPS workflow, and finalizing all technical and logistical assets.

A comprehensive guide for structuring the 'Related Work' section for top-tier HCI conferences (e.g., UIST). This document emphasizes that the section must function as a novelty proof, not a literature survey. It teaches authors to organize content by capability delta, utilize detailed comparison tables, and trace three critical lineages: technique, toolkit, and commercial practice, ensuring the work's unique contribution is clearly established.

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 positioning computer science manuscripts for top-tier security conferences like USENIX Security. It covers core topics (systems, network, privacy, software security), required evidence (rigorous artifact, measurement, vulnerability analysis), and strategic advice on framing the work to meet adversarial reviewer expectations. Ideal for authors preparing high-stakes academic submissions.

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 positioning research papers for top-tier security conferences like USENIX Security. It covers defining coverage against 'Big-Four' and specialty venues, ensuring novelty across multi-cycle academic pipelines, identifying mechanism-level differentiators, and mastering double-blind citation mechanics for maximum impact.

A comprehensive guide for authors submitting visualization papers to major conferences like IEEE VIS. It outlines the strict rules for partitioning content, ensuring the core argument remains judgeable from the main body while leveraging supplemental materials (video, code, full data) to demonstrate interaction and reproducibility. Essential reading for academic researchers in the field.

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.

This guide outlines the rigorous process for authors responding to a "revise" verdict at top-tier academic conferences. It teaches authors how to treat reviewer feedback as a formal contract, manage a tight revision timeline, structure necessary experiments, and write a highly traceable change document that explicitly addresses every required point.