systems-paper-writing

Systems Paper Writing: Paragraph-Level Structural Blueprint

Fine-grained structural guidance for writing 10–12 page systems papers targeting top systems venues: OSDI, SOSP, ASPLOS, NSDI, and EuroSys. This skill provides page allocation per section, paragraph-level blueprints, and writing patterns distilled from authoritative guides and best-paper analysis.

When to Use This Skill

| Scenario | Use This Skill | Use ml-paper-writing Instead |

|----------|---------------|------------------------------|

| Structuring a 12-page OSDI/SOSP paper | ✅ | |

| Page budget and paragraph planning | ✅ | |

| Systems-specific evaluation structure | ✅ | |

| General ML paper writing philosophy | | ✅ |

| Citation verification workflow | | ✅ |

| LaTeX templates and formatting | | ✅ |

| NeurIPS/ICML/ICLR paper structure | | ✅ |

Boundary: ml-paper-writing provides general writing philosophy, multi-venue templates, and citation verification. This skill focuses exclusively on paragraph-level structural blueprints for systems conferences.

---

Authoritative Sources

This blueprint synthesizes guidance from established systems researchers:

1. Levin & Redell — "How (and How Not) to Write a Good Systems Paper" (SOSP'83 PC Chairs, USENIX/ACM SIGOPS)
2. Irene Zhang (MSR/UW) — "Hints on how to write an SOSP paper" (SOSP/OSDI PC)
3. Gernot Heiser (UNSW, seL4) — Style Guide + Paper Writing Talk
4. Timothy Roscoe (ETH Zürich) — "Writing reviews for systems conferences"
5. Mike Dahlin (UT Austin/Google) — "Giving a Conference Talk"
6. Yi Ding — "How to write good systems papers?"
7. hzwer & DingXiaoH — WritingAIPaper (GitHub 1.3k+ stars)

Full citations and URLs: see [references/section-blueprints.md](references/section-blueprints.md).

---

12-Page Systems Paper Blueprint

Overview: Page Allocation

| Section | Pages | Purpose |

|---------|-------|---------|

| Abstract | ~0.25 | 150–250 words, 5-sentence structure |

| S1 Introduction | 1.5–2 | Problem → Gap → Insight → Contributions |

| S2 Background & Motivation | 1–1.5 | Terms + Production observations |

| S3 Design | 3–4 | Architecture + Module details + Alternatives |

| S4 Implementation | 0.5–1 | Prototype details, LOC, key engineering |

| S5 Evaluation | 3–4 | Setup + End-to-end + Microbenchmarks + Scalability |

| S6 Related Work | 1 | Grouped by methodology, explicit comparison |

| S7 Conclusion | 0.5 | 3-sentence summary |

| Total | ~12 | Submission: 12 pages strict (USENIX) / 11 pages (ACM ASPLOS). Camera-ready: up to 14 pages (USENIX) / 13 pages (ACM). Ranges above span submission through camera-ready. Target 12 pages for initial submission. References unlimited. |

Abstract (150–250 words, 5 sentences)

Sentence 1: Problem context and importance
Sentence 2: Gap in existing approaches
Sentence 3: Key insight or thesis ("X is better for Y in environment Z")
Sentence 4: Summary of approach and key results
Sentence 5: Broader impact or availability

Source: Levin & Redell — "Can you state the new idea concisely? Use them in the abstract." Irene Zhang — "The abstract is harder to write because you cannot use terms or concepts you introduced in the paper."

S1 Introduction (1.5–2 pages)

Paragraph structure:

1. Problem statement (~0.5 page) — Establish the domain and why it matters. Use concrete numbers (cluster sizes, workload statistics, latency requirements).
2. Gap analysis (~0.5 page) — Enumerate specific gaps G1–Gn in existing systems. Each gap is one sentence with evidence.
3. Key insight (1 paragraph) — The thesis statement: "X is better for applications Y running in environment Z." (Irene Zhang formula)
4. Contributions (~0.5 page) — Numbered list of 3–5 concrete contributions. Each contribution is testable and maps to a section.

Writing pattern: hzwer Move 1 (Establish territory) → Move 2 (Find niche) → Move 3 (Occupy niche).

Source: Irene Zhang — "clearly state your target environment (Z) and application (Y)" + "clearly state why previous systems do not meet the needs"; Levin & Redell — "What exactly is the problem being solved?"

S2 Background & Motivation (1–1.5 pages)

Paragraph structure:

1. Technical background (~0.5 page) — Define terms and systems the reader needs. Follow Gernot Heiser's "define-before-use" principle.
2. Production observations (~0.5–1 page) — Present Observation 1, 2, 3 from real data or measurements. Each observation leads to a design insight.

Source: Irene Zhang — "clearly motivate Y and Z. Why is application Y important?"; Gernot Heiser — "define-before-use."

S3 Design (3–4 pages)

Paragraph structure:

1. System architecture overview (~0.5 page) — Architecture diagram first (Yi Ding: "draw a picture first"). One-paragraph walkthrough of major components and data flow.
2. Module-by-module design (~2–2.5 pages) — Each subsection: what the module does, the design choice made, alternatives considered, and why this choice wins.
3. Design alternatives and trade-offs (~0.5–1 page) — For each major decision, explicitly discuss what was not chosen and why.

Source: Irene Zhang — "Every design choice made in X should be discussed with alternatives and the reasons for the choice"; Levin & Redell — "What were the alternatives considered at various points, and why were the choices made?"

S4 Implementation (0.5–1 page)

1. Prototype description — Language, framework, LOC, integration with existing systems.
2. Key engineering decisions — Non-obvious implementation choices worth documenting.

Source: Levin & Redell — "Does the paper describe something that has actually been implemented?"; Irene Zhang — "explain how you constructed a prototype to test your hypothesis."

S5 Evaluation (3–4 pages)

Paragraph structure:

1. Experimental setup (~0.5 page) — Hardware, baselines, workloads, metrics. Enough detail to reproduce.
2. End-to-end comparison (~1–1.5 pages) — X vs baselines for application Y on environment Z. Main performance results.
3. Microbenchmarks / Ablation (~1–1.5 pages) — Isolate each design decision's contribution. Ablation experiments decompose the gains.
4. Scalability (~0.5 page) — Show behavior as problem size, cluster size, or load increases.

Critical rule (Irene Zhang): State every experimental conclusion three times:

• Section opening: hypothesis ("We expect X to outperform Y because...")
• Section closing: conclusion ("Results show X outperforms Y by Z%")
• Figure caption: evidence ("Figure N shows X achieves Z% better throughput than Y")

Two experiment types:

• Type 1: X vs baselines for Y on Z (end-to-end comparison)
• Type 2: Ablation — remove each design component to measure its individual impact

S6 Related Work (1 page)

• Group by methodology or approach, not by individual papers.
• For each group: what they do, what limitation remains, how your work differs.
• Use a comparison table when comparing 4+ systems on specific dimensions.

Source: Levin & Redell — "Are comparisons with previous work clear and explicit?"; Irene Zhang — use comparison tables.

S7 Conclusion (0.5 page)

Three sentences (Irene Zhang formula):

1. The hypothesis / problem addressed
2. The solution approach
3. The key result

---

Writing Patterns

Four reusable patterns for structuring systems papers. See [references/writing-patterns.md](references/writing-patterns.md) for detailed examples.

Pattern 1: Gap Analysis (Lucid, ASPLOS'23)

Enumerate gaps G1–Gn in Introduction → map to answers A1–An in Design. Creates a clear contract with the reader.

Pattern 2: Observation-Driven (GFS, arXiv 2025)

Present production observations (O1–O3) in Motivation → derive design insights → build system around insights. Effective when you have real workload data.

Pattern 3: Contribution List (Blox, EuroSys'24; Sia, SOSP'23)

Numbered contributions in Introduction, each mapping to a section. Readers (and reviewers) can track claims through the paper.

Pattern 4: Thesis Formula (Irene Zhang)

Structure the entire paper around: "X is better for applications Y running in environment Z." Introduction states it, Design explains how, Evaluation proves it.

---

Conference Differences

> Warning: Venue rules change yearly. Always verify against the current year's CFP before submission.

| Venue | Format | Submission Limit | Camera-Ready | References |

|-------|--------|-----------------|--------------|------------|

| OSDI | USENIX | 12 pages | 14 pages | Unlimited |

| NSDI | USENIX | 12 pages | 14 pages | Unlimited |

| SOSP | ACM SIGOPS | 12 pages (tech content) | — | Unlimited |

| ASPLOS | ACM SIGPLAN | 11 pages | 13 pages | Unlimited |

| EuroSys | ACM | 12 pages | — | Unlimited |

Based on 2025/2026 CFPs. Verify current limits before submission.

---

Writing Philosophy

Manage Reader State (Gernot Heiser)

Treat the reader's cognitive load like an OS managing process state. Never introduce a concept without context. Never reference something defined later without a forward pointer.

Six-Dimensional Quality (Levin & Redell)

Self-check against: Original Ideas, Reality (is it built?), Lessons (what did you learn?), Choices (alternatives discussed?), Context (related work fair?), Presentation (clear writing?).

Page-One Figure (hzwer)

Include a figure on the first page that captures the core idea. Reviewers form first impressions from the title, abstract, and page-one figure.

---

Academic Integrity Requirements

Citation Discipline

• Never generate citations from memory. Use ml-paper-writing's citation verification workflow (Semantic Scholar / DBLP / CrossRef APIs).
• Mark unverified references as [CITATION NEEDED].

Prohibition of Fabrication

• Do NOT fabricate production observations, traces, deployment experiences, or experimental results.
• Do NOT generate fake venue rules, paper metadata, or best-paper claims.
• Do NOT copy paragraph-level text from reference papers. This blueprint provides structural guidance, not copy-paste templates.

LLM Disclosure

• Some venues require disclosure of substantial LLM use in writing or ideation. Check each venue's AI policy in the current CFP.

Attribution

• When structures are inspired by specific papers (e.g., Lucid's gap-analysis pattern), cite the inspiration.
• Cross-repository references (e.g., ARIS paper-slides structure) are attributed, not copied.

Temporal Validity

• Venue rules (page limits, format, AI policies) change annually. All venue information in this skill is based on 2025/2026 CFPs. Always verify against the current year's CFP.

---

Workflow: Structuring a New Systems Paper

Step 1: Read this SKILL.md for page allocation overview
Step 2: Read references/section-blueprints.md for per-section paragraph templates
Step 3: Choose a writing pattern from references/writing-patterns.md
Step 4: Draft section by section following the blueprint
Step 5: Run the checklist from references/checklist.md before submission
Step 6: Use ml-paper-writing for citation verification and LaTeX formatting

Quick Checklist

• [ ] Thesis statement follows "X is better for Y in Z" formula
• [ ] Introduction has numbered contributions (3–5)
• [ ] Each contribution maps to a paper section
• [ ] Design discusses alternatives for every major choice
• [ ] Every eval conclusion stated 3 times (hypothesis, result, caption)
• [ ] Related work grouped by methodology, not individual papers
• [ ] Page budget within venue limits
• [ ] All citations verified programmatically (no hallucinated references)

---

Common Issues and Solutions

| Issue | Solution |

|-------|----------|

| Paper feels like a "feature list" | Restructure around thesis formula: X better for Y in Z |

| Evaluation lacks depth | Add ablation experiments isolating each design decision |

| Reviewers say "incremental" | Strengthen gap analysis: make G1–Gn crisper with evidence |

| Design section too long | Move implementation details to S4, keep S3 at design level |

| Motivation feels weak | Add production observations with concrete numbers |

| Related work reads like a bibliography | Group by approach, add explicit differentiation |

---

References

Writing Guidance

• [references/section-blueprints.md](references/section-blueprints.md) — Detailed per-section paragraph templates with authoritative source quotes and best-paper structural examples
• [references/writing-patterns.md](references/writing-patterns.md) — Four writing patterns with concrete paper examples

Venue-Specific

• [references/checklist.md](references/checklist.md) — 7-stage pre-submission checklist covering structure, writing quality, evaluation rigor, design quality, academic integrity, venue-specific requirements (OSDI/NSDI/ASPLOS/SOSP/EuroSys), and final pass
• [references/systems-conferences.md](references/systems-conferences.md) — Conference overview, deadlines, track descriptions, formatting requirements, submission rules, and format conversion guides
• [references/reviewer-guidelines.md](references/reviewer-guidelines.md) — How systems conference reviewers evaluate papers, with venue-specific criteria and common concerns

LaTeX Templates

• [templates/osdi2026/](templates/osdi2026/) — OSDI 2026 (USENIX format)
• [templates/nsdi2027/](templates/nsdi2027/) — NSDI 2027 (USENIX format)
• [templates/asplos2027/](templates/asplos2027/) — ASPLOS 2027 (ACM SIGPLAN format)
• [templates/sosp2026/](templates/sosp2026/) — SOSP 2026 (ACM SIGPLAN format)