软工大牛Xuan-Bach D. Le及其顶会论文学习

前言

本文旨在：
1）介绍Xuan-Bach D. Le这位作者，以及介绍软工大牛David Lo。
2）大致介绍其2018 ICSE [Journal First] 顶会论文“Overfiting in Semantics-based Automated Program Repair”：论文大概思路，主要工作（站在作者的角度思考 idea的出现，以及实验思路，论文写法）。
3）详细解读论文的Abstract和Introduction，并背诵。

一、作者介绍（Xuan-Bach D. Le和David Lo）

1.1 Xuan-Bach D. Le

1）作者的教育经历？[2]

Sep 2007 - May 2012
Hanoi University of Science and Technology 简称HUST，在越南。founded 1956, is the first and largest technical university in Vietnam. [1]
Information Technology
本科在越南最大的科技大学读的书，很优秀。

Feb 2012 - May 2012
National University of Singapore
Department of Computer ScienceSingapore
Research Intern
Static Software Verification using Separation Logic SAT-based equality logic 原来2012年，研究生期间就开始学静态软件验证和SAT-based逻辑，这个都是我不会的。

Jul 2012 - Nov 2013
National University of Singapore
Research Assistant
Static Software Verification using Separation Logic 继续学静态软件验证（分离逻辑）

Jan 2014
Singapore Management University
School of Information SystemsSingapore
PhD Student
Automatic Software Repair, Software Engineering
毕业两年后成为SMU的博士。

Aug 2015 - Jun 2016
Carnegie Mellon University
Computer Science DepartmentUnited States
Visiting PhD student
Automatic Software Repair
厉害，在CMU当访问博士。

Jun 2018
Carnegie Mellon University, Silicon Valley
Cylab Security and PrivacyUnited States
PostDoc
厉害，在那里读了博士后。强。

2）作者发的文章？[3]

不能再好了= =（意思就是很厉害了）

2017三篇顶会一作。
2016年5篇好会。
2015年3篇好会。

同时可以看出，他2014年成的博士，之前研究生和博士第一年都算是积累，这个可能也很重要吧。

1.2 David Lo

1）作者的教育经历

B.Eng (NTU), PhD (NUS) 意思就是学士学位是在NTU拿的，博士学位是在NUS，national university of Singapore拿的。

I am an associate professor in School of Information Systems, Singapore Management University, leading the Software Analytics Research (SOAR) group. I received my PhD from School of Computing, National University of Singapore in 2008. Before that, I was studying at School of Computer Engineering, Nanyang Technological University and graduated with a B.Eng (Hons I) in 2004. I’m serving in the steering committee of IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), and IEEE Working Conference on Source Code Analysis and Manipulation (SCAM). I’m also in the editorial board of Empirical Software Engineering, Journal of Software: Evolution and Process, Information and Software Technology, Information Systems, and Neurocomputing (Software Section).
I am looking for graduate students [PhD program], visiting students, and engineers to work in the area of software engineering & data mining. There are also openings for engineers and post-docs in the Living Analytics Research Center.

2）论文

至于论文的话，太多了，感兴趣的可以去他主页http://www.mysmu.edu/faculty/davidlo/ 看。

值得注意的是，他的学生2018年发了7篇empirical software engineering，很强啦。

此外，有时间最好都把这些厉害的实验室的论文系统的看一看，我感觉自己还差了很多，很多不懂的地方，我自己拿不准，思路尚未清晰。

二、论文解读

2.1 论文主要干了什么工作？（用最少的话最准确地表述出来）

通过自动修复工具JFix和Angelix，基准测试程序集codeflows和Introclass来对基于语义的修复工具的过拟合问题进行研究，作者发现基于语义的修复中也有过拟合，而且还有不同于基于启发式的修复中的过拟合，作者认为：这个工作给未来解决这个问题提供了基础和视野（参考），而且还说明我们需要更加strong的程序合成技术来克服过拟合。

我觉得是时候来整理一下自动修复领域的文章了，不然我感觉很多东西都没搞懂，思路还不够清晰。

2.2 作者怎么想出来的？idea的思路？

这个就是要充分了解现在的工作，比如之前已经有了基于搜索的过拟合论文，但是还有基于语义没有说哇！

抓住一些idea，实现一下，就是稳稳的一篇文章，确实厉害，不过积累在里面，没有积累确实做不出来。

佩服。

三、其他

尽量复习下之前的文章，看能不能温故而知新。

参考文献

[1] Hanoi University of Science and Technology. https://en.wikipedia.org/wiki/Hanoi_University_of_Science_and_Technology
[2] Xuan Bach D Le. https://www.researchgate.net/profile/Xuan_Bach_D_Le
[3] Bach Le | Carnegie Mellon University. https://xuanbachle.github.io/pubs/
[4] David Lo. http://www.mysmu.edu/faculty/davidlo/
[5] David Lo. https://dblp.uni-trier.de/pers/hd/l/Lo:David