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

文章目录

- 前言
- 1 CCF会议最新排名
- - 1.1 基本信息
  - 1.2 软件工程领域相关会议
  - - A类
    - B类
    - C类
- 2 下半年软工会议投稿时间（A类会议）
- - 2.1 PLDI
  - 2.2 POPL
  - 2.3 FSE/ESEC
  - 2.4 OOPSLA
  - 2.5 ASE
  - 2.6 ICSE
  - 2.7 ISSTA
- 3 下半年软工会议投稿时间（B类会议）
- - 3.1 ICSME
  - 3.2 MSR
  - 3.3 ICPC
- 总结

前言

不知不觉已经到了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?