Skill UI

A comprehensive guide detailing the end-to-end workflow for submitting research papers to top-tier academic conferences, such as the ACM SIGOPS ATC. It provides a backward planning structure, covering critical stages from initial system freezing and extended abstract writing, through multi-round peer review, rebuttal preparation, artifact evaluation, and final camera-ready submission.

Use this comprehensive guide to manage the entire project lifecycle for a CAV (Computer Aided Verification) paper submission. It provides a backward-planning timeline, covering topics from initial concept fitting and evidence locking to the two-stage review process, optional artifact evaluation, and final camera-ready submission. Essential for managing technical academic deadlines and mitigating common failure modes.

A comprehensive project management skill designed for guiding the entire lifecycle of an ACM CCS conference submission. It maps out critical milestones, including abstract registration, full-paper upload, rebuttal periods, notification, and artifact evaluation. Users can utilize the backward-planning templates and 'big-four' deadline hopping strategies to manage complex academic deadlines effectively.

A comprehensive guide for planning and executing a scientific paper submission for the ISSTA conference. It maps out all critical milestones, including venue fit, evidence locking, submission deadlines, major revisions, and artifact evaluation. The skill provides backward planning heuristics and identifies common failure modes to ensure timely and successful publication.

A comprehensive guide detailing the end-to-end lifecycle for submitting a research paper to the PLDI conference. It covers planning, from initial development (12+ weeks out) through the November deadline, the critical February response window, artifact evaluation, camera-ready production, and the final June conference talk. This workflow helps manage the long tail of academic publishing.

A comprehensive, backward-scheduled workflow guide for preparing submissions to top-tier theoretical computer science conferences like POPL. It maps out critical academic milestones, detailing the journey from initial core theorem stabilization (16+ weeks out) through the July submission deadline, October notification, mandatory artifact evaluation, and final January presentation. Includes strategies for contingency planning and retargeting to alternative venues if the primary timeline falters.