2022年度总结

一年以来的糟糕体现在了方方面面。纵然我不想承认，在已经二年级过了一半的现在科研进展却如同刚入学的新生一般属实是有点难看。

不过还是按照往年惯例，且对去年定下的目标做一回顾。

2022目标总结

1.读100篇论文

由于当初定了这个目标，每读一篇论文都打开一个achievement.txt记录一下…

一年来也只读了33篇，只达到了计划的1/3，大失败。

当然，读论文这件事情，除了总数之外，单篇的阅读速度和理解程度也非常重要。只是以目前的情况来看的话，读一篇论文大概需要1天，只能做到理解大意。一般来说由于需要再写reading report和用于汇报的ppt，会再花大概1天半的时间，在写report和ppt的同时进一步阅读和尝试从论文中找到自己能想到的问题的答案。这样加起来大概1篇文章要花2天半的时间。不过最后汇报时老师和学长学姐问的问题仍有许多回答不上来。由此可见不论是数量，速度还是理解掌握的能力都欠缺的非常严重。。。

2023继续这项计划吧，其实说起来也就是每周读2篇（1篇汇报+1篇自由扩展视野），重在坚持。

1. (Jounral club 0318) 2018-sigmod-Query-basedWorkload Forecasting for Self-Driving Database Management Systems
2. (Jounral club 0318) 2019-icde-External vs. Internal：An Essay on Machine Learning Agents for Autonomous Database Management Systems
3. (Jounral club 0318) 2021-vldb-Make Your Database System Dream of Electric Sheep：Towards Self-Driving Operation
4. (summury 2021 osdi) 2021-osdi-Zeph：Cryptographic Enforcement of End-to-End Data Privacy
5. (summury 2021 icse) 2021-icse-A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms
6. (789621 3000) 2007-icse-Feedback-directed Random Test Generation
7. (Jounral club 0512) 2016-nsdi-Minimizing Faulty Executions of Distributed Systems
8. (issre 2022 review) 3251_Multi-misconfiguration Diagnosis via Identifying Correlated Configuration Parameters
9. (issre 2022 review) 6069_MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking
10. (issre 2022 review) 6990_Detecting Hidden Failures of Database Management Systems: A Comprehensive Metamorphic Relation Output Patterns Approach
11. (issre 2022 review) 8089_TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL statements
12. (summury 2021 icse) 2021-icse-An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
13. (Jounral club 0701) 2021-icse-Fast Outage Analysis of Large-scale Production
14. (summury 2021 icse) 2021-icse-Automatic Solution Summarization for Crash Bug
15. (summury 2021 ecse&fse) 2021-ecse&fse-TaintStream：Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
16. (summury 2021 ase) 2019-ase-RANDR：Record and Replay for Android Application via Targeted Runtime Instrumentation
17. (summury 2021 icse) 2021-icse-CodeShovel：Constructing Method-Level Source Code Histories
18. (分布式系统测试框架) 2011-nsdi-FATE and DESTINI：A Framework for Cloud Recovery Testing
19. (分布式系统测试框架) 2011-oospla-PreFail：Programmable and Efficient Failure Testing Framework
20. (Jounral club 0812) 18-issta-Test Case Prioritization for Acceptance Testing of Cyber Physical Systems A Multi-objective Search-Based Approach
21. (分布式系统测试框架) 2016-osdi-Correlated Crash Vulnerabilities
22. (reading report) 2020-oopsla-Finding Bugs in Database Systems via Query Partitioning
23. (reading report) 2022-icse-Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries
24. (reading report) 2014-ATC-In Search of an Understandable Consensus Algorithm
25. (reading report) 2022-issta-Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
26. (分布式系统测试框架) 2018-asplos-FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems
27. (分布式系统测试框架) 2019-sosp-CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
28. (网络与分布式计算课程) 2018-osdi-Ray: A Distributed Framework for Emerging AI Applications
29. (reading report) 2018-ase-An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
30. (reading report) 2016-asplos-TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed System
31. (Jounral club 20221201) 2001-sosp-Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
32. (reading report) 2011-sosp-Practical Software Model Checking via Dynamic Interface Reduction
33. (reading report) 2017-sosp-An Empirical Study on the Correctness of Formally Verified Distributed Systems

1. (Jounral club 0318) 2018-sigmod-Query-basedWorkload Forecasting for Self-Driving Database Management Systems
2. (Jounral club 0318) 2019-icde-External vs. Internal：An Essay on Machine Learning Agents for Autonomous Database Management Systems
3. (Jounral club 0318) 2021-vldb-Make Your Database System Dream of Electric Sheep：Towards Self-Driving Operation
4. (summury 2021 osdi) 2021-osdi-Zeph：Cryptographic Enforcement of End-to-End Data Privacy
5. (summury 2021 icse) 2021-icse-A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms
6. (789621 3000) 2007-icse-Feedback-directed Random Test Generation
7. (Jounral club 0512) 2016-nsdi-Minimizing Faulty Executions of Distributed Systems
8. (issre 2022 review) 3251_Multi-misconfiguration Diagnosis via Identifying Correlated Configuration Parameters
9. (issre 2022 review) 6069_MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking
10. (issre 2022 review) 6990_Detecting Hidden Failures of Database Management Systems: A Comprehensive Metamorphic Relation Output Patterns Approach
11. (issre 2022 review) 8089_TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL statements
12. (summury 2021 icse) 2021-icse-An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
13. (Jounral club 0701) 2021-icse-Fast Outage Analysis of Large-scale Production
14. (summury 2021 icse) 2021-icse-Automatic Solution Summarization for Crash Bug
15. (summury 2021 ecse&fse) 2021-ecse&fse-TaintStream：Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
16. (summury 2021 ase) 2019-ase-RANDR：Record and Replay for Android Application via Targeted Runtime Instrumentation
17. (summury 2021 icse) 2021-icse-CodeShovel：Constructing Method-Level Source Code Histories
18. (分布式系统测试框架) 2011-nsdi-FATE and DESTINI：A Framework for Cloud Recovery Testing
19. (分布式系统测试框架) 2011-oospla-PreFail：Programmable and Efficient Failure Testing Framework
20. (Jounral club 0812) 18-issta-Test Case Prioritization for Acceptance Testing of Cyber Physical Systems A Multi-objective Search-Based Approach
21. (分布式系统测试框架) 2016-osdi-Correlated Crash Vulnerabilities
22. (reading report) 2020-oopsla-Finding Bugs in Database Systems via Query Partitioning
23. (reading report) 2022-icse-Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries
24. (reading report) 2014-ATC-In Search of an Understandable Consensus Algorithm
25. (reading report) 2022-issta-Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
26. (分布式系统测试框架) 2018-asplos-FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems
27. (分布式系统测试框架) 2019-sosp-CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
28. (网络与分布式计算课程) 2018-osdi-Ray: A Distributed Framework for Emerging AI Applications
29. (reading report) 2018-ase-An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
30. (reading report) 2016-asplos-TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed System
31. (general club 20221201) 2001-sosp-Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
32. (reading report) 2011-sosp-Practical Software Model Checking via Dynamic Interface Reduction
33. (reading report) 2017-sosp-An Empirical Study on the Correctness of Formally Verified Distributed Systems

2.发表一篇ccf-b

当时定这个目标倒不是说非要发表一篇B，真正用意在于希望这一年的工作成果或者说科研进展达到能够发表一篇B的水平。

哎这个目标只能说大失败。比上一个还要失败。

春季学期开学后，开始接触学姐给的一个课题，后来又转化成了一个用于熟悉的项目。做到现在为止，我该如何描述目前的进展呢。

1.复现了一篇2011年的A类工作的部分功能
2.实现了一个用于新人入门的小项目（小系统）
3.完成了一个可以通过博士生课程的项目

上面3点可不是3个项目，而是我在想从哪个角度描述才能让现在的进展看起来更让人好接受一点。。。

总之这个进展实在是太令人焦虑了。虽说一年半没有进展还不算无可挽回，可是如果我现在的状态再持续半年，我真的就要为未来担忧了。进度这部分的问题还是很严重的。。。

其实想一想，开始读研究生之后人整个都开始懒散起来了。之前本科时经常图书馆直接从上午10点约到晚上10点，中间只趴在桌上小睡片刻。而现在工作日上午大概集中精力工作2h，下午2h，晚上虽说自己跑回实验室卷但有效工作时间也就大概1.5h。同时一般来说周末还会实打实休息2天…..哎之后得再稍微努力一些。

2023年是必须要有所进展了，加油啊！逸一时误一世！

3.攒10k人民币，更换一批电子设备

在年货节下单了联想y9000p后，这应该是我今年唯一一个完成的目标了。

这个目标本身没什么好说的，非常物质。不过有趣的是，我到年末的时候突然丢掉了对ipad的执念。大概从大二开始，看着周围人每当上课和讨论时拿出ipad写写画画，心中的声音一直在响：“我要是有一个ipad多好啊。”

等到现在似乎资金终于够了，我发现我好像不用再上课了。（捂脸）。组会每周一次的频率我还是选择普通笔记本吧。这就是所谓的“延迟满足即是不需要满足的满足”。于是刚好把买平板的预算也加到电脑上。

哎，有钱多好啊。即使我现在只有这么一点点钱，也可以让很多事情变得从容一些。（比如让陪伴了我7年的笔记本电脑光荣退伍）。要是我能有更多的钱。。。可惜钱总要靠自己去挣，总之还是要客服自己的懒惰。

4.体重降至80kg

啊，不仅没有降到80kg，而且还升到了90+kg。

后半年M记和K记吃的太多了……不过说起来的话所里健身房的跑步机也坏了……

也许之后全面放开了我可以去旁边高校蹭个操场跑跑步什么的。

5.读20本书

显然今年完全没有读够20本。
今年已经读完的书：《穆斯林的葬礼》《佛本是道》《学会提问》《Modern PHP》
今年正在读的书：《秋》《深入理解java虚拟机》
《网络、群体与市场》

今年读的书还没有去年多，而且甚至平均下来都没有到一个月一本。反思一下，今年看B站和打游戏的时间是明显变多了。

虽说在各种信息载体飞速发展的今天，书籍也很难说比视频、游戏更有价值。不过维持一定的读书量应该还是有必要的。2023年的目标还定一个读20本书吧。希望明年这时候不要再让自己失望。

6.完成一门课程的资料整理

其实定这个目标的时候所谓的“一门课程”就是指的从数理逻辑、程序理论到形式化方法这几门课的综合资料整理。

有一说一雁栖湖开设的这几门课有很大问题，数理逻辑的教材没有答案，而且《面向人工智能的数理逻辑》这本书单独看的话思路有些跳跃。程序分析的课件资料过于零散，数量和质量都比较缺乏，学起来非常难受。而形式化方法….老师无情念ppt不说，讲义简直是人间折磨。（经典的定义1，定理1，引理1，…，定理38，引理29）。回所后旁听了所里开的形式化方法的上半段，就好多了。

这个目标可以说就没有开始做。这倒不也全是因为懒惰了，虽说一直在尝试学习这方面的内容，但是到现在感觉自己也没有到能够整理资料的程度。

这个方向作为一个之后慢慢去了解探索的方向是挺好的，但是作为资料整理的目标，若是再过半年，可能授课方式也会发生变化，学弟学妹也不一定会再需要这些资料。这个目标还是放弃掉吧。

7.完成一个偏工业界的项目

随着2022年的结束，我大概是失去了最后一次在读书期间去企业实习的机会。很遗憾，真的很遗憾。尤其是想一想自己一直想要尽快在科研上做出进展，现在却两处皆失。

不过在6-9月参加了GSOC，圆了本科时的梦想。