29 KiB
29 KiB
id, date, status, tags, sources, references, accessed
赵霞研究与系统文章清单：逐篇学习记录
原始输入
学习：https://zhaoxiahust.github.io/blog/index.html（这是一个 list，遍历学习其中的 articles）
- 清单来源：Xia Zhao — Articles
- 访问日期：2026-07-18
- 范围约定：只遍历
Articles，不含页面上单列的 3 个视频。 - 计数口径：主页共有 25 个文章条目；同一条目中的中文 slides、英文原版或上下篇视为补充材料，不重复计数。
内容蒸馏
覆盖率与证据状态
本次先从主页解析出 25 项清单，再逐项读取。结果为：
- 完整正文：18/25。
- 可验证片段或相关材料，但不是原文全文：3/25。
- 已访问但正文当前不可恢复：4/25。
- 遍历状态：25/25 均已处理；因此“遍历”已经完成，但由于 4 篇缺少正文，本记录保留
needs-evidence状态。
“相关材料”不会被当作原文摘要；缺失项也不根据标题补写观点。
| # | 文章 | 本次证据状态 |
|---|---|---|
| 1 | How (and How Not) to Write a Good Systems Paper / 中文 slides | 完整：网页原文与 47 页中文 slides |
| 2 | How to Read a CS Research Paper? | 完整：4 页 PDF |
| 3 | THE PH.D. GRIND | 完整：原站 TLS 失效，改读高校托管的同版 115 页 PDF；封面、版本与原始出处一致 |
| 4 | 一名系统研究者的攀登之路 | 完整：5 页 PDF |
| 5 | 计算机系统会议论文是如何评审的 | 完整：5 页 PDF |
| 6 | 与学生合作开展研究的体会 | 完整替代：微博登录墙；找到《CCCF》同版 5 页 PDF |
| 7 | 对计算机体系结构研究的一点认识 | 完整：4 页 PDF |
| 8 | 印度 Bangalore 之 HPCA/PPoPP-2010 与会小记 | 完整：15 页 PDF |
| 9 | ISCA-2014 与北美学术之旅 | 完整：6 页 PDF |
| 10 | PACT-2015 PC 讨论会记录 | 完整：9 页 PDF |
| 11 | 博士五年总结 | 完整：12 页 PDF |
| 12 | 系统设计黄金法则：简单之美 | 完整替代：原页被作者设限；读取注明作者与原文链接的全文转载 |
| 13 | 你的学生就是你的财富 / Your Students Are Your Legacy | 完整：中文页失效，读完索引附带的英文原文 4 页 PDF |
| 14 | ISCA08见闻 | 部分：原页失效；只找到被引用的原文片段和另一作者的同期参会记录，不视为全文 |
| 15 | 与新晋图灵奖得主的虚拟对话 | 缺失：只核实到作者、题名和后续论文引用，正文不可得 |
| 16 | 关于“国家重点实验室应该追求什么”的讨论 | 缺失：原页被作者设限，未找到可信全文镜像 |
| 17 | SOSP 2013 Analysis | 缺失：豆瓣接口明确返回 private_note，无可用存档 |
| 18 | OSDI, SOSP 与美国著名计算机系的调查 | 完整：网页全文 |
| 19 | HIT CS 科班对计算机专业领域的汇编 | 完整：网页正文；外链仅作历史索引，未逐个复核 |
| 20 | Prolific System Scholars (to 2013) | 完整：1 页统计表 PDF |
| 21 | ASPLOS 系列专访—Mark D. Hill | 部分：知乎原文/API 均拦截，存档回放是反爬挑战；仅保留一份 Mark Hill 后来的相关公开演讲作背景，不代替原文 |
| 22 | ASPLOS 系列专访—Shan Lu | 部分：原文不可得；读取芝加哥大学对其真实并发 bug 研究的官方回顾，不代替原访谈 |
| 23 | ASPLOS 系列专访—李涛 | 缺失：原文/API 被拦截且无可用存档；不采纳未经完整上下文核对的二手转述 |
| 24 | 研究是一种生活方式：Onur Mutlu（上） / 下 | 完整：微信正文与 5 页 PDF |
| 25 | How to Look for Ideas in Computer Science Research | 完整：网页全文 |
逐篇提炼
1. How (and How Not) to Write a Good Systems Paper
- 好系统论文的中心不是“花了很多功夫”，而是明确的重要问题、原创而可解释的想法，以及可信的真实实现和证据。
- 论文应交代假设、设计选择、替代方案、失败尝试、适用边界和可迁移的经验；读者最终应该学到超出这个原型本身的东西。
- 写作不是研究结束后的包装。尽早写摘要能迫使作者说清问题、贡献和结果；聚焦、清晰与诚实会直接暴露研究是否站得住。
2. How to Read a CS Research Paper?
- 理解一篇论文先回答四个问题：研究问题与动机是什么、贡献是什么、作者如何支撑 claim、最后真正学到了什么。
- 阅读还包括评价：问题和贡献是否重要，实验、证明、benchmark 与泛化是否有效，claim 是否足够克制。
- 最后一层是综合：寻找替代解法、更好的验证、反方论证、可迁移场景和开放问题。用自己的话写“摘要—评价—综合”是训练研究判断的有效方式。
3. THE PH.D. GRIND
- 这是一份有强烈个体条件的六年博士回忆录，不是可普遍照搬的成功指南；作者也主动指出资助、学校和自主权带来的特权。
- 有方向的产出优于无目的的信息消费；想法来自既有想法、真实摩擦、持续展示工作和与人协作，而不是闭门等待灵感。
- “聪明地 grind”包括识别坏的默认项目、知道何时退出、从失败恢复、及时求助、反复讲述与推销工作的意义；只有勤奋而没有方向判断，可能只是更快地耗尽自己。
- 这份材料同时提醒：研究训练可能带来成长，也可能造成倦怠。不能把痛苦、过劳或论文数量浪漫化为科研价值本身。
4. 一名系统研究者的攀登之路
- 系统研究要求想法、原型与长期验证同时成立，周期常以年计；临近 deadline 从零拼一篇顶会论文通常不现实。
- 关键能力包括极度批判性地追问“为什么非要这样做”、扎实的系统基本功、从 A→B 和方法 1→方法 2 的发散迁移，以及在一段时间内保持专注。
- 写作质量体现思维质量；拒稿和“撞车”不自动使问题失去价值，比较差异、把工作做得更彻底，反而可能产生新发现。
5. 计算机系统会议论文是如何评审的
- 系统顶会通过多轮、多人和面对面讨论降低单个审稿人的随机性，但评审仍不可完全消除品味差异和偶然性。
- 文中归纳的评价链条是：重要问题、有趣且有力的方法、实用性与有效性、恰当总结、明确说明做了什么、清晰标出创新。
- 好论文至少要传递一个可复述的关键信息，并用设计、实现和实验围绕它闭环；隐藏限制、挖坑不填、只给理论跳过落地细节都会破坏信任。
- 投稿不是把不成熟项目丢给审稿人调试。被拒后应真正解决问题，而不是只改措辞或换会碰运气。
6. 与学生合作开展研究的体会
- 导师—学生更像共同承担风险、共享成果、彼此学习的长期合伙关系；指导必须按学生能力、兴趣、阶段和可用时间定制。
- 选题可从 mini-survey 加“让手弄脏”开始：加入现有项目、开发或评测真实系统，以第一手经验估计问题的重要性、难度和风险。
- 导师的介入应从早期战术支持逐渐转向后期宏观判断与科研素养，让学生获得独立研究能力，而不是永久替学生做决定。
- 团队需要互助、期望与压力管理、及时而建设性的反馈，以及多轮写作和报告训练。培养本身不可机械扩展。
7. 对计算机体系结构研究的一点认识
- 好研究至少来自两类价值之一：重要问题，或对有挑战问题的新颖解法；更好的工作往往同时具备两者。
- 深读不是记住叶子节点的差异，而是回溯作者为何选择这条分支、现有方案的假设为何成立，从更接近“根”的位置寻找新的解法。
- 广泛阅读有助于跨领域迁移方法，但持续研究还需要兴趣。论文则要做到一个好想法足以打动人，同时没有严重漏洞。
- 结果无论好坏都应检查合理性并解释；只在结果差时找原因，是明显的确认偏误。
8. 印度 Bangalore 之 HPCA/PPoPP-2010 与会小记
- 联合会议让体系结构与并行编程相互暴露问题和方法，体现跨社区交流的价值；系统教育也不能把原理与动手实践割裂。
- 当时的前沿议题包括极大规模计算的能耗、可靠性、编程与异构化。一个重要判断是：并行软件应以“用最少资源达到所需性能”为目标，而不只是让所有核忙起来。
- 报告后的尖锐问题、备用 slides 和现场讨论是证据链的一部分；参会前了解人物与工作、会后复盘材料，能把“出席会议”变成真正的学习和合作。
- 具体技术预测和人物格局属于 2010 年的历史截面，不应直接当作当前结论。
9. ISCA-2014 与北美学术之旅
- workshop 中的持续质疑不是礼仪失败，而是把粗糙想法磨细、检查研究与实验方法的过程。
- 文章所述项目从应用需求、操作系统资源管理到微体系结构建立适度耦合，并用真实多核系统和近两年数据收集验证，体现跨层抽象必须落到长期证据。
- 一篇论文经历上百次讨论和版本，说明写作承担的是重新理解和组织研究的工作，不只是英文润色。
- 工业界能暴露真实约束，但企业问题可能过于特定，学术方案也可能因生产配置而失去意义；关键是从真实需求中抽象可推广问题，同时保留稳定性和成本约束。
10. PACT-2015 PC 讨论会记录
- PC 讨论会中，原始高分可能因一个技术缺口被推翻；新颖想法与不完整实验之间的取舍会被具体讨论，而不是机械按分数排序。
- 论文提交前应尽可能让核心 claim、例外、实现和实验经得住同行追问；成熟度和严谨表达不是次要装修。
- 与企业合作应“看需求，勿照搬”：生产系统可能更关心可扩展性、稳定性、人员维护成本和硬件扩容成本，而不是实验室 benchmark 上的峰值性能。
- 学界适合承担高风险、长期和抽象研究，企业拥有真实工作负载与产品约束；合作的价值来自互补与持续沟通，不是把论文方案硬塞进产品。
11. 博士五年总结
- 长期项目首先需要静下来、保持内在动机，并在失败中总结方法；决心本身不够，选题、调查、优先级、建模、验证和细节管理都需要刻意训练。
- 想法应随手写下；阅读则抓住少数关键论文和主线，用预测作者路数的方式建立领域模型，避免无目的地把每篇都读到同样深。
- 论文不是按时间顺序列技术步骤，而要解释为什么这样做、适用条件和局限，并建立统一、自洽、能给前人定位的图景。写作组织会反过来促进研究理解。
- 演讲应只有一条可记忆主线，细节是否保留取决于它是否服务中心 claim；计划要宽松、简洁、可复盘，并给睡眠和运动留出空间。
- 其中一些“高远立意”“世界观”表达容易滑向过度包装；只有在证据与真实联系支撑时才有价值。
12. 系统设计黄金法则：简单之美
- KISS 的核心不是少写几行代码，而是在不确定性必然累积的复杂系统中，让每个阶段和子任务尽量简单。
- 文中总结的工程习惯包括自动化失败恢复、准备替换当前可用组件、使用合适工具、适当缓存，以及显式选择一致性和可用性的取舍。
- 用 Must-Have / Nice-to-Have 缩小第一版，快速把端到端链路跑通，再回头优化；过早追求中间步骤完美，可能阻止验证总体方向。
- “简单”不意味着忽略正确性、安全性或长期维护，也不意味着 New Jersey 式取舍在所有场景都优于完整设计。
13. 你的学生就是你的财富 / Your Students Are Your Legacy
- 学生应主动探索、挑战假设并反过来教育导师；导师的任务是提供能培养研究 taste 的环境，而不是只分配工作。
- 多学科团队、研究 retreat、外部反馈和开放协作空间让学生通过项目、同伴与真实批评学习如何识别关键问题和有影响力的解法。
- 具体指导包括及时而频繁的反馈、真实而不伤害信心的表扬与批评、公开演讲训练、稳定会面、可信赖的咨询和以身作则。
- 核心价值判断是：导师的长期学术遗产主要是被培养的人，而不是论文数量；指导关系也不应在毕业时突然结束。
14. ISCA08见闻（证据不完整）
- 目前只能核实一段被后文引用的选题观察：与追逐当时最热的功耗主题相比，有研究者选择 process variation 作为突破口并形成连续工作。
- 另一作者的同期参会记录可证明会议背景和部分讨论主题，但不是索引所列原文，不能用来重建作者的完整观点。
15. 与新晋图灵奖得主的虚拟对话（缺失）
- 已核实题名、作者包云岗及其被后续《CCCF》文章引用的书目信息。
- 正文不可得，本次不从标题推断对话对象、问题或结论。
16. 关于“国家重点实验室应该追求什么”的讨论（缺失）
- 原科学网页面目前被作者设置访问限制，精确题名检索未找到可信全文镜像。
- 不根据题名猜测其对基础研究、国家需求、评价制度或实验室治理的具体立场。
17. SOSP 2013 Analysis（缺失）
- 豆瓣公开接口明确返回“仅作者本人可见”，且没有可用网页存档。
- 因此未提炼论文分布、研究热点或机构统计；这些内容若未来补回，应与第 18 项的历史调查分开记录。
18. OSDI, SOSP 与美国著名计算机系的调查
- 文章用当时可得的 OSDI/SOSP 历史数据观察机构、作者、合作关系和主题变化，显示顶尖系统研究长期集中于少数高校与工业实验室，跨机构合作逐渐增加。
- 它的更大价值是提供“人—组—学校—方向”的发现地图，帮助新研究者追踪学术谱系和代表工作。
- 数据主要截止到 2006 年左右，作者也承认统计有限；会议篇数、机构排名和师承网络不能替代对论文思想与证据的判断。
19. HIT CS 科班对计算机专业领域的汇编
- 这是一份 2014 年左右的个人化学习地图，强调兴趣、基础、时间管理和动手实践，并按编程语言、算法、操作系统、编译、软件工程、数据库等领域汇集资源。
- 它反复体现“原理 + 真系统/真代码”的学习方式，例如 Linux、xv6 和编译器实践，而不是只背课程定义。
- 这份材料适合作为发现索引，不适合作为今天唯一的课程方案：篇幅和观点高度个人化，部分链接、工具与技术判断已经过时。
20. Prolific System Scholars (to 2013)
- 这是一张按多个系统相关会议统计高产学者、再聚合到机构的历史表，可用于发现研究者、会议社区和机构强项。
- 它没有解释作者口径、时间窗、同名处理、合作贡献和质量权重；“高产”只是一种计数属性，不等同于研究 taste、原创性或影响力。
- 最稳妥的用法是把它当阅读入口，而不是把榜单本身变成研究目标。
21. ASPLOS 系列专访—Mark D. Hill（原文缺失，只有相关背景）
- 原访谈正文无法恢复，因此不对标题所说的“中国从跟随者到创新领导者”做细化转述。
- 一份 Mark Hill 2024 年的公开演讲提供了相邻但独立的观点：体系结构中的一些根本问题长期存在，应用和技术变化会改变答案，研究者的任务是识别变化。该材料只作背景，不能冒充 2017 年访谈内容。
22. ASPLOS 系列专访—Shan Lu（原文缺失，读取了官方回顾）
- 芝加哥大学 2022 年官方回顾确认：她早期没有依赖人工注入 bug，而是系统收集 MySQL、Apache、Mozilla、OpenOffice 中 100 多个真实并发 bug，建立分类并影响后续检测与修复研究。
- 这种“先观察真实故障，再决定研究什么”的经验方法后来被她迁移到更多 bug 类别；它支持“研究应领先产品，但问题来源应扎根真实世界”的理解。
- 上述是后来的官方回顾，不是索引中的 2017 年中文访谈，不能据此还原访谈的完整问答。
23. ASPLOS 系列专访—李涛（缺失）
- 原文、公开 API 和存档均不可用。
- 搜索中出现的二手转述缺少完整上下文，且夹杂与文章无关的后续事件；本次不把这些内容写成作者观点，也不用于更新画像。
24. 研究是一种生活方式：Onur Mutlu（上、下）
- 选题先找重要且可能产生根本影响的问题，再提出好想法，用正确实现和评估证明它；论文只是传播手段，不是最终目的。
- Rowhammer 的发现不是单点灵感：先有不同存储介质的跨域类比，再有原本为其他问题搭建的 FPGA 测试基础设施，最后加上学生实习和工业合作，才把异常变成可验证的新现象。
- 指导强调根本问题、学生自由、独立性、创造力、韧性和相互协作；学术界的吸引力还包括长期培养学生与教学，而不是职位标签。
- 跨领域合作可以把体系结构方法带入基因组分析。对论文评审则主张基于科学价值而非“厂商永远不会采用”之类不可证伪的判断，并要求提高审稿问责。
25. How to Look for Ideas in Computer Science Research
- 产生 idea 是可单独训练的能力；读论文的目标之一是形成判断什么重要、什么优雅的 taste，而不是平铺式记忆所有技术细节。
- 常见模式包括：把问题按维度展开后补空白、扩展现有方法、先造出独特 hammer 再寻找合适 nail、从小观察逐步 generalize、复现前人工作、从工业与新闻中的真实问题出发。
- 小观察值得放大通常有几个信号：结果令人意外、触及根本机制、不是一次性偶然。复现失败也可能是新问题入口，但必须先严肃排除自身错误。
- 广泛阅读、写 review、听报告、与同行争论和维护同伴网络，都是持续生成与筛选 idea 的基础设施。
跨文章共同结构
这份清单不是单一作者的一套教条，但完整可读的材料反复出现了七个共同结构：
- 研究从重要问题开始，以可迁移的 lesson 结束。 方法、原型和数字位于中间；只报告“做了什么”不足以形成研究价值。
- 好的抽象来自对根节点、假设和设计选择的深入理解。 它不是先写一个宏大名词，再把具体任务塞进去。
- 异常结果是机制线索，不是自动的 discovery。 Rowhammer、真实并发 bug 和复现失败都说明：先排除实现与测量错误，再用独立基础设施、真实样本和跨场景迁移检验是否存在共性机制。
- 写作、演讲和评审是研究过程的一部分。 它们迫使作者找出唯一中心 claim、补齐证据链、暴露逻辑跳跃，并把细节放回正确层级。
- 系统之美是约束下的简单。 快速完成端到端原型、减少非必要机制、自动化失败恢复并迭代演进；进入真实环境后，还必须面对稳定性、扩展性、尾部行为和维护成本。
- 科研培养的终点是独立判断。 个性化选题、动手获得第一手经验、及时反馈、团队互助与逐步放权，比把学生变成论文执行器更重要。
- 榜单、顶会与机构统计是导航信息，不是价值函数。 它们能帮人发现论文、学者与社区，但受时间、样本、声望结构和计数口径影响。
Taste 信号
明确偏好
- 无。用户要求学习整份清单，但没有声明对其中每篇文章或每个观点都赞同。
推断信号
- 偏好把科研 taste 落到一套可操作的判断链：问题重要性、共性机制、设计选择、真实实现、可信证据和普遍 lesson。
- 对“异常是 bug 还是新现象”的回答应是证据流程，而不是直觉标签：先复现和排错，再验证是否跨实现、跨 workload 或跨介质成立。
- 偏好读论文时越过技术细节，主动提取问题、贡献、证据、结论、假设和替代方案，并通过评价与综合形成自己的判断。
- 偏好简单、可演进的系统设计，但这种简单必须接受正确性、稳定性、规模、尾延迟和维护成本等真实约束。
- 倾向把写作与讲故事理解为研究思维的显化和校验，而不是用宏大叙事掩盖薄弱证据。
- 倾向把科研训练看成培养独立研究者和长期协作关系，而不是最大化短期论文产量。
- 对 venue、机构、人物榜单和论文计数保持工具性态度：用来导航，不用来替代质量判断。
领域知识
- 系统论文常被按重要性、创新、实现可行性、实验有效性、清晰度和可迁移 lesson 共同评价；其中任何一项都不能由实现工作量替代。
- 高质量阅读可以组织为 comprehension、evaluation、synthesis 三层；综述和 reviewer 视角能训练研究 taste。
- 系统研究中的 discovery 经常依赖长期积累的测试基础设施、真实工作负载、跨领域类比和工业合作，而非一次实验的偶然偏差。
- PC 多轮评审能降低但不能消除随机性。论文应减少严重漏洞并争取至少让一位专家清晰看到其核心价值，同时诚实披露边界。
- 工业落地的目标函数通常还包含稳定性、可扩展性、成本、人员流动和维护；学术 benchmark 上的性能提升不能自动覆盖这些维度。
- 2010—2017 年的会议见闻、机构统计和课程资源具有显著历史性，使用时必须重新核对当前技术、人物、链接与社区结构。
边界与反例
- 这是一份个人收藏清单，不是系统综述；不同文章的年代、文体、领域和作者立场差异很大，不能把交集之外的观点强行合并成一套统一哲学。
- 4 篇原文缺失，3 篇只有片段或相关材料。任何涉及这些文章的结论都保留低置信度，未来找到原文后应重新蒸馏。
- “一般化”不是必然优于具体研究。一个明确、真实、重要的局部问题可能比脱离证据的宏大框架更有价值。
- “简单”不是降低正确性标准的通行证；安全、可靠性、兼容性或法规要求高的系统可能必须承担额外复杂度。
- “坚持”和“grind”不能用来正当化无止境项目、过劳或不健康的导师关系。知道何时退出、求助和保护身心同样是研究判断。
- 多篇材料来自顶会成功者，存在明显幸存者偏差；顶会流程、美国名校网络和论文数量也会放大特定学术权力结构。
- 会议和榜单统计受样本范围、作者归属、合作计数与时间窗影响，只适合做探索性地图。
可执行影响
- 今后评价研究想法时，优先写出五项：重要问题、相对现有工作的结构性新意、关键假设、独立证据、可迁移 lesson；缺一项就明确标为待验证，而不是用实现量或热门度补位。
- 遇到反常结果时，按“复现 → 最小化 → 排除实现/测量错误 → 更换基线或独立实现 → sensitivity → 跨场景验证 → 提炼机制”的顺序处理。
- 阅读论文时形成一页式记录：问题与动机、贡献、证据、结论、最强反驳、开放问题；只有真正相关的论文再下钻全部技术细节。
- 做系统原型时先区分 Must-Have 与 Nice-to-Have，尽快跑通最小端到端闭环；随后在固定 workload 下逐项验证稳定性、规模、尾部行为、资源和维护 tradeoff。
- 写论文、proposal 或汇报时先确定唯一中心 claim，再按“问题—现有缺口—关键洞见—设计选择—证据—边界—lesson”组织；宏大叙事必须能逐段回指证据。
- 使用顶会、机构、导师与高产学者清单时，把它们转成待读论文和待了解研究组列表，不把排名本身写进质量结论。
- 如果任务涉及带学生或协作研究，按阶段匹配风险与自主度，提供快速、具体、建设性反馈，并把“能否独立判断和表达”作为成功标准。
- 对不可访问来源保留 URL、访问状态和替代来源级别；不让搜索摘要、同主题文章或标题替代原文。