systems-paper-writing

系统论文写作：段落级结构蓝图

面向顶级系统领域会议（OSDI、SOSP、ASPLOS、NSDI 和 EuroSys）的 10–12 页系统论文写作精细结构指南。本技能提供各章节的页面分配、段落级蓝图，以及从权威指南和最佳论文分析中提炼的写作模式。

何时使用本技能

场景	使用本技能	改用 ml-paper-writing
组织一篇 12 页的 OSDI/SOSP 论文	✅
页面预算与段落规划	✅
系统领域特有的评估结构	✅
通用的机器学习论文写作理念		✅
引用核验工作流		✅
LaTeX 模板与格式		✅
NeurIPS/ICML/ICLR 论文结构		✅

适用范围：ml-paper-writing 提供通用写作理念、多会议模板和引用核验。本技能专注于系统领域会议的段落级结构蓝图。

---

权威来源

本蓝图综合了系统领域资深研究者的指导：

1. Levin & Redell — “How (and How Not) to Write a Good Systems Paper”（SOSP'83 程序委员会主席，USENIX/ACM SIGOPS）
2. Irene Zhang（MSR/UW）— “Hints on how to write an SOSP paper”（SOSP/OSDI 程序委员会）
3. Gernot Heiser（UNSW，seL4）— 风格指南 + 论文写作演讲
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+ 颗星）

完整引用和 URL：参见 references/section-blueprints.md。

---

12 页系统论文蓝图

概览：页面分配

章节	页数	目的
摘要	~0.25	150–250 个单词，5 句话的结构
S1 引言	1.5–2	问题 → 缺口 → 洞见 → 贡献
S2 背景与动机	1–1.5	术语 + 生产环境观察
S3 设计	3–4	架构 + 模块细节 + 替代方案
S4 实现	0.5–1	原型细节、代码行数、关键工程工作
S5 评估	3–4	设置 + 端到端 + 微基准测试 + 可扩展性
S6 相关工作	1	按方法分组，明确比较
S7 结论	0.5	3 句话总结
总计	~12	投稿：严格限制 12 页（USENIX）/ 11 页（ACM ASPLOS）。最终定稿：最多 14 页（USENIX）/ 13 页（ACM）。以上范围涵盖投稿至最终定稿。初次投稿以 12 页为目标。参考文献页数不限。

摘要（150–250 个单词，5 句话）

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

来源：Levin & Redell — “能否简洁地阐述新想法？请在摘要中使用这些想法。” Irene Zhang — “摘要更难写，因为你不能使用论文中才引入的术语或概念。”

S1 引言（1.5–2 页）

段落结构：

1. 问题陈述（约 0.5 页）— 介绍领域及其重要性。使用具体数字（集群规模、工作负载统计数据、延迟要求）。
2. 缺口分析（约 0.5 页）— 列出现有系统中的具体缺口 G1–Gn。每个缺口用一句话陈述，并提供证据。
3. 关键洞见（1 段）— 核心论点：“对于在环境 Z 中运行的应用 Y，X 更好。”（Irene Zhang 公式）
4. 贡献（约 0.5 页）— 列出 3–5 项具体贡献。每项贡献都可验证，并对应一个章节。

写作模式：hzwer 步骤 1（确立领域）→ 步骤 2（找到切入点）→ 步骤 3（占据切入点）。

来源：Irene Zhang — “清楚说明目标环境（Z）和应用（Y）” + “清楚说明以往系统为何无法满足需求”；Levin & Redell — “正在解决的问题究竟是什么？”

S2 背景与动机（1–1.5 页）

段落结构：

1. 技术背景（约 0.5 页）——定义读者需要了解的术语和系统。遵循 Gernot Heiser 的“先定义再使用”原则。
2. 生产环境观察（约 0.5–1 页）——呈现来自真实数据或测量结果的观察 1、2、3。每项观察都引出一条设计见解。

来源：Irene Zhang——“清楚地说明 Y 和 Z 的动机。应用 Y 为什么重要？”；Gernot Heiser——“先定义再使用。”

S3 设计（3–4 页）

段落结构：

1. 系统架构概述（约 0.5 页）——先放架构图（Yi Ding：“先画图”）。用一段话说明主要组件和数据流。
2. 逐模块设计（约 2–2.5 页）——每个小节说明：模块的功能、采用的设计方案、考虑过的替代方案，以及为何该方案更优。
3. 设计替代方案与权衡（约 0.5–1 页）——针对每项主要决策，明确讨论未采用哪些方案及原因。

来源：Irene Zhang——“应讨论 X 中作出的每项设计选择，并说明替代方案和选择理由”；Levin & Redell——“在不同阶段考虑过哪些替代方案？为何作出这些选择？”

S4 实现（0.5–1 页）

1. 原型描述——语言、框架、代码行数、与现有系统的集成。
2. 关键工程决策——值得记录的非显而易见的实现选择。

来源：Levin & Redell——“论文是否描述了实际实现的内容？”；Irene Zhang——“说明你如何构建原型来验证假设。”

S5 评估（3–4 页）

段落结构：

1. 实验设置（约 0.5 页）——硬件、基线、工作负载、指标。提供足够细节以便复现。
2. 端到端比较（约 1–1.5 页）——在环境 Z 中，将应用 Y 上的 X 与基线进行比较。报告主要性能结果。
3. 微基准测试／消融实验（约 1–1.5 页）——分别衡量每项设计决策的贡献。通过消融实验分解性能提升。
4. 可扩展性（约 0.5 页）——展示问题规模、集群规模或负载增加时的表现。

关键规则（Irene Zhang）：每项实验结论都要陈述三次：

• 小节开头：假设（“我们预期 X 的表现优于 Y，因为……”）
• 小节结尾：结论（“结果表明，X 的表现比 Y 高 Z%”）
• 图注：证据（“图 N 显示，X 的吞吐量比 Y 高 Z%”）

两种实验类型：

• 类型 1：在环境 Z 中，将应用 Y 上的 X 与基线进行比较（端到端比较）
• 类型 2：消融实验——移除每个设计组件，衡量其单独影响

S6 相关工作（1 页）

• 按方法论或方案分组，而非按单篇论文分组。
• 对每组说明：其工作内容、仍存在的局限，以及你的工作有何不同。
• 比较 4 个或更多系统在特定维度上的表现时，使用比较表。

来源：Levin & Redell——“与以往工作的比较是否清晰明确？”；Irene Zhang——使用比较表。

S7 结论（0.5 页）

三句话（Irene Zhang 公式）：

1. 所针对的假设／问题
2. 解决方案
3. 关键结果

---

写作模式

系统论文的四种可复用结构模式。详细示例请参阅 references/writing-patterns.md。

模式 1：差距分析（Lucid，ASPLOS'23）

在引言中列出差距 G1–Gn → 在设计部分逐一对应答案 A1–An。由此与读者建立清晰的约定。

模式 2：观察驱动（GFS，arXiv 2025）

在动机部分呈现生产环境观察（O1–O3）→ 推导设计见解 → 围绕这些见解构建系统。适用于拥有真实工作负载数据的情况。

模式 3：贡献列表（Blox，EuroSys'24；Sia，SOSP'23）

在引言中按编号列出贡献，每项都对应一个章节。读者（和评审）可以在论文中追踪各项主张。

模式 4：论文主旨公式（Irene Zhang）

整篇论文围绕以下论点展开：“在环境 Z 中运行的应用 Y 更适合采用 X。”引言陈述这一论点，设计说明如何实现，评估则证明这一点。

---

会议差异

警告：会议规则每年都会变化。投稿前务必核对当年的征稿启事（CFP）。

会议	格式	投稿页数限制	终稿页数限制	参考文献
OSDI	USENIX	12 页	14 页	不限
NSDI	USENIX	12 页	14 页	不限
SOSP	ACM SIGOPS	12 页（技术内容）	—	不限
ASPLOS	ACM SIGPLAN	11 页	13 页	不限
EuroSys	ACM	12 页	—	不限

基于 2025/2026 年的征稿启事。投稿前请核实当前页数限制。

---

写作理念

管理读者状态（Gernot Heiser）

像操作系统管理进程状态那样管理读者的认知负荷。引入概念时必须提供上下文。引用后文定义的内容时，必须提供前向指引。

六维质量（Levin & Redell）

按照以下方面进行自检：原创想法、现实性（是否实际构建？）、经验教训（学到了什么？）、选择（是否讨论了替代方案？）、背景（对相关工作是否公允？）、表达（写作是否清晰？）。

首页图示（hzwer）

在首页加入一幅能体现核心思想的图。评审会根据标题、摘要和首页图示形成第一印象。

---

学术诚信要求

引用规范

• **切勿凭记忆生成引用。**使用 ml-paper-writing 的引用核验工作流（Semantic Scholar / DBLP / CrossRef API）。
• 将未核验的参考文献标记为 [CITATION NEEDED]。

禁止捏造

• 不要捏造生产环境观察、跟踪记录、部署经验或实验结果。
• 不要编造会议规则、论文元数据或最佳论文声明。
• 不要复制参考论文中的段落级文本。本蓝图提供的是结构指导，而非可直接复制粘贴的模板。

大模型披露

• 有些会议要求披露写作或构思过程中大量使用大模型的情况。请查阅当年征稿启事中的各会议 AI 政策。

归属说明

• 结构若受特定论文启发（例如 Lucid 的差距分析模式），请注明出处。
• 跨仓库引用（例如 ARIS 论文幻灯片结构）应注明来源，不得照搬。

时效性

• 会议规则（页数限制、格式、AI 政策）每年都会变化。本技能中的会议相关信息基于 2025/2026 年征稿启事。务必核对当年的征稿启事。

---

工作流：构建新系统论文的结构

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

快速检查清单

• 论文主旨陈述遵循“在 Z 中，X 更适合 Y”的公式
• 引言包含编号列出的贡献（3–5 项）
• 每项贡献都对应论文中的一个章节
• 设计部分针对每个重要选择讨论替代方案
• 每个评估结论都陈述 3 次（假设、结果、图注）
• 相关工作按方法归类，而非逐篇介绍
• 页数预算符合会议限制
• 所有引用均已通过程序核验（没有虚构的参考文献）

---

常见问题与解决方案

问题	解决方案
论文读起来像“功能列表”	按论文主旨公式重组：在 Z 中，X 更适合 Y
评估缺乏深度	增加消融实验，逐一隔离各项设计决策
评审认为工作“增量有限”	加强差距分析：用证据让 G1–Gn 更清晰有力
设计章节过长	将实现细节移至 S4，S3 保持在设计层面
动机显得薄弱	增加带有具体数字的生产环境观察
相关工作像参考书目	按方法归类，并明确说明差异

---

参考文献

写作指南

• references/section-blueprints.md — 各章节的详细段落模板，包含权威来源引文和最佳论文的结构示例
• references/writing-patterns.md — 四种写作模式及具体论文示例

特定会议

• references/checklist.md — 投稿前的 7 阶段检查清单，涵盖结构、写作质量、评估严谨性、设计质量、学术诚信、特定会议要求（OSDI/NSDI/ASPLOS/SOSP/EuroSys）以及最终检查
• references/systems-conferences.md — 会议概览、截止日期、分会介绍、格式要求、投稿规则和格式转换指南
• references/reviewer-guidelines.md — 系统会议审稿人如何评估论文，包含特定会议的评审标准和常见关注点

LaTeX 模板

• templates/osdi2026/ — OSDI 2026（USENIX 格式）
• templates/nsdi2027/ — NSDI 2027（USENIX 格式）
• templates/asplos2027/ — ASPLOS 2027（ACM SIGPLAN 格式）
• templates/sosp2026/ — SOSP 2026（ACM SIGPLAN 格式）