编译器技术论坛2023
https://mp.weixin.qq.com/s/okhqbbIbDf57TUmaxCnRNg
编译器作为重要基础软件，是底层硬件与上层应用之间的重要桥梁。近年来，随着云计算、物联网，以及人工智能等技术的快速发展，编译技术更是被广泛应用于各个领域。同时，软件系统的规模和复杂性不断增加，硬件系统也在向着更加开放和异构的方向不断发展，在这样的背景下，编译技术也面临着新的挑战与机遇。
中国计算机学会系统软件专委会定于2023年7月15-16日举办编译器相关构建、优化、验证、测试技术的论坛，邀请了国内相关领域的专家，围绕编译技术进行研讨，推动编译技术的研究与发展；欢迎编译器领域研究和从业人员参加！
一、会议举办机构
主办单位：中国计算机学会
承办单位：中国计算机学会系统软件专委会
协办单位：天津大学、上海交通大学
二、会议主席
陈俊洁（天津大学）
陈雨亭（上海交通大学）
三、会议日程（初步)
日期 | 时间 | 讲者 | 报告题目 |
7月15日 | 全天 | 会议注册：天津燕园国际大酒店 | |
7月16日 上午 | 8:50 - 9:00 | 开幕致辞 | |
9:00 - 9:30 | 张健、瞿荣 （中国科学院软件研究所） | 一个通用的编译器测试工具 | |
9:30 - 10:00 | 郝丹 （北京大学） | 数据驱动的编译器测试关键技术 | |
10:00 - 10:30 | 江贺 （大连理工大学） | 面向工业软件的内嵌式编译器的故障分析与测试方法 | |
10:30 - 10:45 | 茶歇 | ||
10:45 - 11:15 | 张昱 （中国科学技术大学） | 面向新兴计算的编程系统与优化 | |
11:15 - 11:45 | 左志强 （南京大学） | GPU程序反馈式编译优化研究 | |
11:45 - 12:15 | 林子熠 （阿里云） | Lejacon：基于分离编译实现的Java机密计算框架 | |
12:15 - 13:50 | 午餐 | ||
13:50 - 14:20 | 赵家程 （中科院计算所） | 传统编译在AI系统中的应用探索 | |
14:20 - 14:50 | 张煜群 （南方科技大学） | 面向Java即时编译器的模糊测试技术研究 | |
14:50 - 15:20 | 汪宇霆 （上海交通大学 ） | 端到端的可组合编译器验证 | |
15:20 - 15:25 | 在线闭幕 | ||
15:25 - 15:55 | 林小钧 （华为） | 华为自研编程语言编译器测试技术（闭门讨论） | |
会议采用讲者线下、参会者线上的方式召开
线下地点为：天津燕园国际大酒店（天津市河西区紫金山路31号）
线上参与方式：
B站直播：http://live.bilibili.com/22268661
视频号：中国计算机学会（CCF系统软件专委：编译器技术论坛2023）
五、联系方式
陈俊洁：junjiechen@tju.edu.cn
陈雨亭：chenyt@sjtu.edu.cn