通 知

中国计算机学会系统软件专委会定于2017年9月24日在上海举办一次编译器相关构建、优化、验证、测试技术的论坛，给学术界和工业界搭建交流平台，邀请了编译器相关技术研究人员来分享可工程化的技术，编译器产品研发专家分享实践经验并提出值得学术界去研究解决的技术问题，欢迎编译器领域研究和从业人员参加交流。

一、会议时间与地点

   时间：2017年9月24日

   地点：上海复旦皇冠假日酒店3楼池畔吧 Terrace

   地址：上海市杨浦区邯郸路199号（国权路路口）

二、专家和报告题目

1.      苏振东，美国加州大学戴维斯分校：EMI Testing: Finding 1300+ Bugs in GCC and Clang/LLVM

2.      王生原，清华大学：编译器形式化验证及L2C可信编译器简介

3.      郝  丹，北京大学：Learn to test compilers

4.      陈雨亭，上海交通大学： Bytecode Mutation for Differential Testing of Java Virtual Machines

5. 方建滨，国防科学技术大学：面向飞腾并行系统的OpenCL高效实现技术

6.      吕  方，中科院计算所：龙芯高性能编译器：优化与检测

7.      张立博，国家并行计算机工程技术研究中心，太湖之光openacc编译系统

8.      汪  洋，Intel： what optimization technology the developer like most from Intel Compiler

9.      喻  钢，华为技术有限公司：华为自研编译器探索与实践

10.  金一华，阿里巴巴网络技术有限公司：JavaScript 类型静态化优化探索

三、注册参会事宜

       1. 注册时间：2017年9月15日前（限额60人，按收到注册费顺序）

       2. 注册费： 中国计算机学会会员与学生，500元/人；其他人员，800元/人。

       3. 交通、住宿自理。

       4. 签到时间：2017年9月24日8:00-8:50

       注册表下载（微信用户请识别下方二维码下载）： 注册表-CCF系统软件论坛-编译器2017.doc

                             中国计算机学会系统软件专业委员会

                                         2017/9/1