系统软件与软件安全

编译器技术论坛2023

发布时间:2023-07-06  浏览次数:10

编译器技术论坛2023

CCF系统软件专委 2023-06-29 23:15 发表于北京

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









地址:安徽省合肥市蜀山区黄山路443号     电话:0551-63603804         

中国科学技术大学网络信息中心制作维护