中科院计算所认定的会议目录.pdfVIP

附件 2： 计算所认定的国际会议目录 序 号 所属领域 会议缩 写 会议名称 会议介绍 相 关 专 业 推荐实体 各 实 体 推 荐 级 别，仅供 参考 1 编程语言与软件 工程 ASE IEEE International Conference on Automated Software Engineering 关 注 软 件 开 发 自 动 化 的 顶 级 会 议 。 前 身 为 KBSE(Knowledge-Based Software Engineering)，始于 1997 年。 编 译 技 术 先进编译技术实验室 rank1 2 编程语言与软件 工程 CAV Computer Aided Verification 关注计算机辅助形式验证，涵盖从 theoretical results 到 concrete applications 的诸多方面，尤其是 practial verification tools and the algorithms and techniques that needed for their implementation。影响因子 1.88。 编 译 技 术 先进编译技术实验室 rank2 3 编程语言与软件 工程 CC International Conference on Compiler Construction 关注的领域涉及程序的各个方面，包括编译器构造， run-time 技术，prgramming tools, 新编程语言。也包 括一些特别的领域如 parallel, ditributed, embedded, mobile, low power code, hardware 等。是 ETAPS 的 member conference。影响因子 0.83 编 译 技 术 先进编译技术实验室 rank2 4 编程语言与软件 工程 CGO International Symposium on Code Generation and Optimization CGO 是由 IEEE CS 和 ACM SIGMICRO 主办的国际 会议，每年一次。主要关注代码生成和优化等方面的 研究，在国内外学术界很高的影响。接收率 30％左右。 编 译 技 术 先进编译技术实验室 rank1 5 编程语言与软件 工程 ECOOP European Conference on Object-Oriented Programming 关注 object technology 的各个领域。其中也包括一些 虽然不直接和 Object Oriented 相关，但同样具有启发 性的工作。 编 译 技 术 先进编译技术实验室 rank2 8 6 编程语言与软件 工程 ESOP European Symposium on Programming ETAPS 的 member conference，是欧洲 Software Science 方向的重要会议。涵盖了程序语言的设计和实现，编 程模型的研究，程序的自动生成和分析等方向。 编 译 技 术 先进编译技术实验室 rank2 7 编程语言与软件 工程 FASE Fundamental Approaches to Software Engineering ETAPS 的 member conference，主要关注 Software Science，影响因子 0.91。 编 译 技 术 先进编译技术实验室 rank2 8 编程语言与软件 工程 HiPEAC International Conference on High Performance Embedded Architectures Compilers 关注嵌入式系统的发展，包括处理器设计，编译优化 等。 编 译 技 术 先进编译技术实验室 rank2 9 编程语言与软件 工程 LCPC International Workshop on Languages and Compilers for Parallel Computing 始于1988年，涉及编程语言的各个方面，包括 compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing。 编 译 技 术 先进编译技术实验室 rank2 10 编程语言与软件 工程