2019年下半年软件工程领域各大会议投稿时间（包含会议信息介绍及CCF推荐会议最新目录）

前言

不知不觉已经到了5月，即将进入下半年，在此大致记录一下软工领域各大会议在今年（2019年）下半年的投稿时间（包含会议信息介绍及CCF推荐会议最新目录）。

1 CCF会议最新排名

1.1 基本信息

首先软件工程领域的会议去哪里找？肯定是在CCF推荐会议列表里面找。

近日，具体时间为2019年4月25日，CCF（China Computer Federation，即中国计算机学会）公布了第五版的 《中国计算机学会推荐国际学术会议和期刊目录》 。

详见其主页（内含pdf下载链接）：
中国计算机学会推荐国际学术会议和期刊目录 https://www.ccf.org.cn/xspj/gyml/

有几个重点：

• 会议论文指“Full paper”或“Regular paper”（正式发表的长文），对于会议上其他形式发表的论文如Short paper、Demo paper、Technical Brief、Summary以及作为伴随会议的Workshop等不计入目录考虑的范围。
• 刊物和会议的影响力并不直接和发表在其上的单一论文的影响力发生联系，因此不建议任何单位将此《目录》简单作为学术评价的依据。如果由于将此《目录》作为学术评价的依据而引起纠纷，本学会不承担任何责任。

1.2 软件工程领域相关会议

现列出CCF最新推荐目录中软件工程领域相关的期刊及会议。

A类

期刊：

• TOPLAS（ACM Transactions on Programming Languages & Systems）
• TOSEM （ACM Transactions on Software Engineering and Methodology）
• TSE （IEEE Transactions on Software Engineering）

会议：

• PLDI （ACM SIGPLAN Conference on Programming Language Design & Implementation）
• POPL （ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages）
• FSE/ESEC （ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference）
• OOPSLA （Conference on Object-Oriented Programming Systems, Languages, and Applications）
• ASE （International Conference on Automated Software Engineering）
• ICSE （International Conference on Software Engineering）
• ISSTA （International Symposium on Software Testing and Analysis）
• 此外还有OSDI和SOSP，都是OS（操作系统）相关。

顺便关注下“网络与信息安全”领域的会议：

• CCS （ACM Conference on Computer and Communications Security） http://dblp.uni-trier.de/db/conf/ccs/
• S&P （IEEE Symposium on Security and Privacy） http://dblp.uni-trier.de/db/conf/sp/
• USENIX Security （Usenix Security Symposium） http://dblp.uni-trier.de/db/conf/uss/

注意：没想到NDSS这么出名的会议，一直都是B会。

B类

期刊：

• Journal of Software: Evolution and Process
• Information and Software Technology （IST）
• IET Software （IETS）
• Empirical Software Engineering （ESE）
• Journal of Systems and Software （JSS）
• Software Testing, Verification and Reliability （STVR）
• Software: Practice and Experience（SPE）

会议：

• ETAPS （European Joint Conferences on Theory and Practice of Software）
• ICPC （IEEE International Conference on Program Comprehension）
• CAiSE （International Conference on Advanced Information Systems Engineering）
• CP （International Conference on Principles and Practice of Constraint Programming）
• SANER （International Conference on Software Analysis, Evolution, and Reengineering）
• ICSME （International Conference on Software Maintenance and Evolution）
• SAS （International Static Analysis Symposium）
• ESEM （International Symposium on Empirical Software Engineering and Measurement）
• FM （International Symposium on Formal Methods）
• ISSRE （International Symposium on Software Reliability Engineering）

C类

期刊：

• Software Quality Journal （SQJ）
• International Journal on Software Tools for Technology Transfer （STTT） 这个很有意思，是做技术迁移的？

会议：

• APSEC （Asia-Pacific Software Engineering Conference）
• PEPM （ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation）
• ICST （IEEE International Conference on Software Testing, Verification and Validation）
• EASE （Evaluation and Assessment in Software Engineering）
• SCAM （IEEE International Working Conference on Source Code Analysis and Manipulation）
• COMPSAC （International Computer Software and Applications Conference）
• MSR （Mining Software Repositories） 也是C会
• QRS （International Conference on Software Quality, Reliability and Security）

小结：感觉基本没什么变化，除了ISSTA由B升A。

2 下半年软工会议投稿时间（A类会议）

注意，我这里只关心 regular paper/full paper （毕竟ccf就承认这个，短文某种程度来说，感觉意义也不是很大）， 一般都是会议的research track。

2.1 PLDI

PLDI 2019 https://pldi19.sigplan.org/dates

PLDI 2019 已经完成了 research track paper文章的接受和录取，这里列出所有的Accepted papers：
PLDI 2019 PLDI Research Papers https://pldi19.sigplan.org/track/pldi-2019-papers#event-overview

其中：

• DFix: Automatically Fixing Timing Bugs in Distributed Systems （Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu）
• Effective Floating-Point Analysis via Weak-Distance Minimization （Zhoulai Fu, Zhendong Su）

还真是哪儿都有修复。

---

此外 PLDI 2020 还没有出计划。

2.2 POPL

POPL 2019 https://pldi19.sigplan.org/home

POPL 2019 已经结束。（Sun 13 - Sat 19 January 2019 Cascais, Portugal）

Distinguished papers https://popl19.sigplan.org/program/program-POPL-2019?badge=Distinguished Paper

• Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown SystemsDistinguished Paper（Johannes Späth, Karim Ali, Eric Bodden） 很强
• From Fine- to Coarse-Grained Dynamic Information Flow Control and Back

Accepted papers https://popl19.sigplan.org/track/POPL-2019-Research-Papers?track=POPL Research Papers#event-overview
其中：

• A Calculus for Esterel: If can, can. If no can, no can. （Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robby Findler） 震惊，还有这种标题
• Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries （Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji）
• Exploring C Semantics and Pointer Provenance （Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell）

---

POPL 2020 https://popl20.sigplan.org/

7月10号截稿长文（research paper）；
9月16开始rebuttal；
10月14出结果。

2.3 FSE/ESEC

ESEC / FSE https://www.esec-fse.org/
这个是整个会议的官网（包含过去已经开了的FSE/ESEC会议，和即将计划要开的）。

ESEC/FSE 2019 https://esec-fse19.ut.ee/

召开信息：TALLINN, ESTONIA, 26-30 AUGUST 2019

所以已经结束，等待开会状态。

---

ESEC/FSE 2020 计划还没有出。

2.4 OOPSLA

SPLASH 2019 OOPSLA https://2019.splashcon.org/track/splash-2019-oopsla

2.5 ASE

ASE 2019 https://2019.ase-conferences.org/home

2.6 ICSE

ICSE 2019 https://2019.icse-conferences.org/home

Accepted Papers：https://2019.icse-conferences.org/track/icse-2019-Technical-Papers?track=ICSE Technical Track#event-overview

• A System Identification based Oracle for Control-CPS Software Fault Localization
• Analyzing and Supporting Adaptation of Online Code Examples
• AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
• Automatically Generating Precise Oracles from Structured Natural Language Specifications
• BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes
• CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning Libraries
• Detection and Repair of Architectural Inconsistencies in Java
• Exposing Library API Misuses via Mutation Analysis （Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su） 为什么不做缺陷定位和修复了呢
• Graph-based Mining of In-the-Wild, Fine-grained, Semantic Code Change Patterns
• Grey-box Concolic Testing on Binary Code
• Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing
• How Practitioners Perceive Coding Proficiency （Xin Xia, Zhiyuan Wan, Pavneet Singh Kochhar, David Lo）
• LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics
• Learning to Spot and Refactor Inconsistent Method Names （Kui Liu, Dongsun Kim, Tegawendé F. Bissyandé, Taeyoung Kim, Kisub Kim, Anil Koyuncu, Suntae Kim, Yves Le Traon）
• Mining Software Defects: Should We Consider Affected Releases?
• On Reliability of Patch Correctness Assessment
• ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports
• Rotten Green Tests （没想到，我以前看过这篇文章，似乎是几年前写的。）
• Symbolic Repairs for GR(1) Specifications
• Test-Driven Code Review: An Empirical Study
• VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences (Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue)
• Why Does Code Review Work for Open Source Software Communities?

很有感触，都是最厉害的一批人。 而我到底少了哪些特质呢？
这个真是值得思考的问题。问题很大。

---

ICSE 2020 https://conf.researchr.org/home/icse-2020

42th International Conference on Software Engineering, 23-29 May 2020, Seoul, South Korea

2.7 ISSTA

ISSTA 2019 https://conf.researchr.org/home/issta-2019

Beijing, China, on July 15-19, 2019.

---

ISSTA 2020 计划未出。

3 下半年软工会议投稿时间（B类会议）

选几个看看。

3.1 ICSME

ICSME 2019 https://icsme2019.github.io/

已经过了。

3.2 MSR

MSR 2019 https://2019.msrconf.org/

Sun 26 - Mon 27 May 2019 Montreal, QC, Canada

3.3 ICPC

ICPC 2019 https://conf.researchr.org/home/icpc-2019

Sat 25 - Sun 26 May 2019 Montreal, QC, Canada

扎心了，扎堆在蒙特利尔开。可惜。没去成一个。

总结

希望这两天能直面且回答一个问题：

我到底少了哪些特质呢？

不过这东西真的得靠悟性，照我现在这种遗忘体质，就算回答了，也是白搭。
但是总归值得琢磨。

共勉之。

---

日月笼中鸟，乾坤水上萍。

人能以此胸襟眼界吞吐六合，上下千古，事来如沤生大海，事去如影灭长空，自经纶万变而不动一尘矣。

—— 《菜根谭》评议篇 杜甫真的大气