OSDI 2020 论文笔记连载（0x5）——系统软件测试
OSDI 2020论文系列关注系统软件测试，首篇论文探讨了服务器端热修复性能的提升。汉诺威大学和奥斯纳布吕克大学的研究者提出Local Quiescence，解决多线程程序热修复时的性能问题。传统方法要求所有线程在全局暂停状态下进行修复，导致服务短暂不可用。Local Quiescence允许每个线程独立更新，减少等待时间，并避免死锁，提高了代码的实时性。
另一篇论文介绍了Pivoted Query Synthesis (PQS)，一种检测数据库逻辑bug的新方法。作者通过生成特定查询来识别逻辑错误，此方法在SQLite、MySQL和PostgreSQL中发现了大量之前未被发现的bug，显示了其有效性。对于编译器bug的检测，Gauntlet系统设计巧妙，通过随机测试、翻译验证和模型检查来定位编译器深层次的错误。
关于网络功能的实时验证，Aragog系统由宾夕法尼亚大学和微软合作开发，能够实时检查网络功能的正确性，特别适用于复杂分布式系统。而约翰霍普金斯大学的论文则关注于自动识别大型系统中可能导致性能问题的配置，通过符号执行分析配置项对性能的影响。
最后，来自UIUC和康奈尔大学的论文关注配置项变化对生产环境的影响，他们提出的ctests结合了测试用例和实际配置，帮助检测配置变更引发的潜在问题。
计算机方面的论文如何发表？ 评职称用
第一步：调研、入门
1. 确定一个感兴趣的大领域，比如分布式系统或机器学习，或深度神经网络。读这个领域经典算法和技术，或者几本较好的书籍，完成后进行实践以加深理解，这样就算是初步入门了。
2. 找该领域的顶级会议，如系统领域的OSDI、SOSP，机器学习领域的ICML、CVPR，深度学习的NIPS、ICLR等，可以根据CCF会议推荐列表查看各领域的顶会列表。阅读近几年的这些顶会论文，了解最新研究热点。对于初学者来说，追热点是最快的方法，它们往往是最亟待解决的问题。然而，经验丰富的研究者不会仅仅追热点，他们知道哪些是基础性问题，哪些是值得研究的问题。
3. 阅读这些前沿论文后，确定一个小方向。如分布式系统是大方向，小方向可能是机器学习分布式训练；深度学习可能是graph embedding；机器学习可能是半监督学习等。这是一个知识积累的过程，重要性不言而喻，需要对大方向有深刻了解，对小方向进行深入理解，阅读至少100篇以上的论文。
第二步：发现问题
这一步非常关键，如能够发现一个好的问题，则已成功了一半。该问题应当是重要的、本质的，且没有直观的解决方案。
4. 确定小方向后，需要阅读大量相关论文和了解开源项目，不断聚焦，确定一个需要改进的小方向，可能就是论文的主题。此时聚焦阅读的论文数量会大幅减少，几篇到几十篇不等，精读是必须的，甚至花几个月深入研究一篇论文。
5. 实现重要论文工作，尝试运行开源项目，评价结果，光读是远远不够的。运行可能需要多种环境和不同的数据集，检查方法在不同情况下的效果并进行对比，以发现潜在问题。
6. 确保发现的问题尚未被解决。广泛阅读和调研是必需的，搜寻关键字时推荐使用Google进行搜索，以此来查找是否已有相关论文解决该问题。
第三步：分析问题
7. 分析问题的本质原因，这往往与发现问题的过程重叠。理解问题越深入，产生的解决思路就越有可能正确而有效。
第四步：解决问题
9. 实现解决方案并进行大量实验验证。此步骤需要编程能力和耐心。
10. 优化解决方案，根据实验结果进行迭代改进。
第五步：撰写论文
11. 设计论文结构，清晰分配每一章内容，确保逻辑合理。写作过程如同讲故事，需要不断的练习。
12. 按照草拟的结构逐步填充论文内容，特别要注意语法准确性，使用短句更易于理解。
13. 提炼总结，改进方法，可能需要重新思考解决方案。
14. 设计实验，确保其科学性和有效性。
第六步：投稿和看待审稿意见
15. 投稿时选择合适的会议或期刊，按照要求整理论文格式。
16. 审稿意见审阅时，要关注是否合理，并以此进行必要的优化。
第七步：后续
17. 宣传工作，扩大影响力，如参加会议时做好准备。
18. 开放源码，接受外界的反馈，提升项目的进一步研究及应用。
整体来说，发表论文需要具备多种能力，包括批判思维、动手能力、广博知识、写作能力、表达能力、英语能力和韧劲。经历这一切后，你的能力也会相应提高，逐渐成为所选方向的小专家。
韧劲在解决问题过程中尤为重要，会面对各种挑战与挫折，目标不应是单纯发表论文，而是希望通过论文展示对技术的贡献。
刚毕业就年薪201万，阿里腾讯抢着要，93年的张霁为何这么牛?
出身于三本民办学校，逐步升至华中科技大学的博士生；张霁在数据库和磁盘故障预测两个领域做出了显著贡献，最终放弃360万年薪，选择华为的201万年薪。
张霁出生于1993年，2009年考入武昌理工学院，他制定学习计划，努力学习，最终考取华中科技大学博士学位，完成了从“双非”院校到985/211大学的逆袭。
在读博士期间，张霁快速获得大量科研成果，既在数据库领域的多项顶会发布论文，也在磁盘故障预测方面有所建树。他被博士生导师派往腾讯实习，显示出他的认可度。
在严苛的华为“天才少年”录用选拔中，张霁最终选择了有意义的事情而非高薪。他希望能在华为的困难时期发挥作用。
华为天才少年曝光，全球仅4位，刚毕业年薪200万，阿里腾讯抢着要
华为在遭受制裁后，提出创新2.0计划，目的是打破ICT发展的技术瓶颈。华为希望通过基础研究突破建立新的技术标准和全球框架。
华为的“天才少年”计划旨在吸引顶尖人才，提供较高的薪资。全球仅有4位天才少年获得了最高薪资，这些年轻人均有着卓越的教育与科研背景。
希望这些天才少年在华为开创颠覆行业的技术和商业模式，实现革命性的技术突破，挑战美国的主导地位。
