CCF ChinaSoft 2023 论坛巡礼 | 编译技术与编译器设计论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

942e46e5f7681412e2d04f82090b6c23.jpeg

✦  +

+

论坛巡礼

论坛名称:编译技术与编译器设计论坛

时间: 2023年12月1日(星期五),8:30 – 12:30

地点: 上海国际会议中心,3A会议室 

论坛简介:

     编译器作为重要的基础软件,是连接上层应用与底层系统的桥梁,在整个计算机系统软件栈中具有举足轻重的作用。编译技术与编译器设计,一方面作为国家亟待增强和突破的研究领域迫切需要开展独立自主的科研与创新,另一方面一系列崭新领域的应用需求(如人工智能、异构计算、云计算等)也不断催生新的编译技术创新与突破。因此,编译技术及编译器设计一直是国内外学者的关注点和研究热点。

    本论坛立足于编译核心技术与编译器创新设计方法等方面的交流讨论,聚焦编译优化、编译器设计、以及编译器可信与安全等基础性问题,关注国内研究学者在相关方向所取得的最新进展和研究成果,为大家提供一个分享、交流和研讨的平台,推进国内编译技术相关研究更好更快发展。论坛包括2个特邀报告和9篇《软件学报》专刊论文报告。

日程安排

Schedule

fc5b0c363a64c54d905a60c5ae7d841f.png

论坛主席

Forum Chairmen

4cee7a8cbeaae0c4b33d90fde7524785.jpeg

冯晓兵

中国科学院计算技术研究所

    中国科学院计算技术研究所,研究员,博导。长期从事编译与编程方面的研究工作,主持了多项国家863、自然基金、重大专项和重点研发计划项目或课题,在国内外的学术会议和期刊发表了数十篇论文,部分研究成果应用于国产曙光并行计算机,以及龙芯、寒武纪和华为等芯片。

06401dc76f8fc8243b2a9c989bbd040f.jpeg

郝丹  

北京大学

    北京大学计算机学院教授,教育部长江学者(特聘教授),CCF杰出会员,ACM Distinguished Member,主要从事软件测试等方面的研究,累计在顶级学术会议期刊上发表代表性论文60篇左右,三次获得ACM SIGSOFT Distinguished Paper Award。研究成果投入到航天、电力、税务、搜索等软件系统的测试过程。郝丹教授主持了多项国家级科研项目,担任国际会议ASE 2021、SANER 2022、ICST 2023的PC Co-Chair,ASE的Steering Committee Member等,频繁担任国际会议ICSE、FSE、ASE和ISSTA等会议的程序委员会委员和其他Track的主席、国际期刊TSE、TOSEM、ESEM和CSUR的Associate Editor,以及STVR的Deputy Editor-in-Chief。

2194c50285fd8feed88c62f8a5c5ce77.png

高耀清

华为技术有限公司

    华为公司编译器与编程语言实验室主任和首席专家,主要研究领域为编程模型,编译优化,并行与分布处理,计算机体系结构和人工智能。研究成果已在语言编译器产品中大规模商用,并发表在一系列顶级学术会议和期刊上,如ACM TOPLS,ACM TACO,CGO,OOPSLA等。拥用40余项已授予国际专利,出版三本语言和编译器相关著作。担任多个国际会议程序委员以及论文审稿人。

ea5ef524090e6d57382fc02da2d67a27.jpeg

左志强

南京大学

    南京大学计算机科学与技术系长聘副教授、特聘研究员,博导,新加坡国立大学博士,加州大学博士后。主要研究领域为系统软件、编译器优化及设计、程序分析等。其研究成果以第一或通讯作者发表在一系列顶级学术会议和期刊上,如PLDI、OOPSLA、OSDI、EuroSys、ACM TOCS等,相关研究技术和系统已经在多个企业实现转化与应用。多次担任包括PLDI、FSE、ASE、CC等国际会议程序委员。个人主页:https://z-zhiqiang.github.io/

论坛嘉宾

Forum Guests

4af0c28153a93919131ebc9760cbb402.jpeg

崔慧敏

中国科学院计算技术研究所

    博士,中科院计算所研究员,博导。崔慧敏是中科院计算所编译团队的负责人,她的研究方向为面向人工智能和异构体系结构的编译技术,先后在PLDI、ASPLOS、OSDI、MICRO、PPoPP、SC等国际会议和期刊上发表论文三十余篇,先后承担2030新一代人工智能重大专项项目、国家自然科学基金、科技部重点研发计划等项目及课题。

报告题目:

面向新型应用范式与新型体系结构的编译技术探索

报告摘要:

   人工智能应用的发展对算力需求的多样性和处理能力都有了巨大的需求,也促进了体系结构方面的一系列创新,由此对上层的软件生态造成了诸多的挑战。编译器作为软件生态中的底层环节,在解决当前软件生态碎片化的问题上有广阔的前景和潜力。在崔慧敏的报告中,她将分享团队在编译器方向上围绕着性能分析与优化、软硬件协同设计等方面的研究和探索。

3d6fdf6cf5bb37fdf1a29bd5a914ffeb.jpeg

曾建江

华为技术有限公司

    德国亚琛工业大学博士,编译器、ESL仿真及软硬件协同设计专家,在华为从事相关领域工作近10年,现主要专注编译器与计算机体系结构相关研究和开发。对CPU指令扩展,领域定制架构的设计、编程模型、编译器工具链支持等有深入的项目技术经验。

报告题目:

编译器与CPU扩展指令的软硬件协同设计

报告摘要:

    面向应用领域的扩展指令是CPU处理器提升特定场景运行效率与性能的重要技术手段,而编译器则需要为扩展指令提供良好的支持,以便于软件能够充分发挥扩展指令的效果。本报告介绍CPU处理器扩展指令设计的方法流程,并通过案例,给出实际场景中的扩展指令设计过程以及评估结果。

b11cc464c10af19821e2047a16beead7.jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/190442.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

JVS低代码表单自定义按钮的使用说明和操作示例

在普通的表单设计中,虽然自带的【提交】、【重置】、【取消】按钮可以满足基本操作需求,但在面对更多复杂的业务场景时,这些按钮的显示控制就显得有些力不从心。为了更好地满足用户在表单操作过程中的个性化需求,JVS低代码推出了表…

接口测试--知识问答

1 做接口测试当请求参数多时tps下降明显,此接口根据参数从redis中获取数据,每个参数与redis交互一次,当一组参数是tps5133,五组参数是tps1169,多次交互影响了处理性能,请详细阐述如何改进增进效果的方案。 …

软件外包开发的需求表达方法

软件开发需求的有效表达对于项目的成功至关重要。无论选择哪种需求表达方法,清晰、详细、易于理解是关键。与开发团队建立良好的沟通渠道,确保他们对需求有充分的理解,并随着项目的推进及时调整和更新需求文档。以下是一些常用的需求表达方法…

Django下的Race Condition漏洞

目录 环境搭建 无锁无事务的竞争攻击复现 无锁有事务的竞争攻击复现 悲观锁进行防御 乐观锁进行防御 环境搭建 首先我们安装源码包:GitHub - phith0n/race-condition-playground: Playground for Race Condition attack 然后将源码包上传到Ubuntu 为了方便使…

【Linux】虚拟机连不上外网 (ping www.baidu.com不通)

进入linux系统,打开终端,ping www.baidu.com 发现ping不通 首先我连接的是nat模式 查看是否连接上自己本机的网 切换root用户 使用 ifconfig 命令查看是eth0 还是 ens33 vi /etc/sysconfig/network-scripts/ifcfg-ens33 BOOTPROTOstatic ONBOOTyes …

openGauss学习笔记-122 openGauss 数据库管理-设置密态等值查询-密态支持函数/存储过程

文章目录 openGauss学习笔记-122 openGauss 数据库管理-设置密态等值查询-密态支持函数/存储过程122.1 创建并执行涉及加密列的函数/存储过程 openGauss学习笔记-122 openGauss 数据库管理-设置密态等值查询-密态支持函数/存储过程 密态支持函数/存储过程当前版本只支持sql和P…

带有密码的Excel只读模式,如何取消?

Excel文件打开之后发现是只读模式,想要退出只读模式,但是只读模式是带有密码的,该如何取消带有密码的excel只读文件呢? 带有密码的只读模式,是设置了excel文件的修改权限,取消修改权限,我们需要…

2.7 CE修改器:多级指针查找

在本步骤中,你需要使用多级指针的概念来查找健康值真正的地址并修改它。多级指针就是一个指针的指针,也就是第一个指针指向第二个指针,第二个指针指向第三个指针,以此类推,最终指向你想要访问的地址。 首先&#xff0…

MAC在Linux上上传本地文件压缩包(tomcat)解决方法(炒鸡详细)

要将文件压缩包上传到Linux云服务器,并在服务器上解压打开,你可以使用以下步骤: 在本地的Mac上,将要上传的文件或文件夹压缩成一个压缩包(如zip或tar.gz格式)。 使用SSH连接到Linux云服务器。你可以使用Te…

【深度学习实验】网络优化与正则化(三):随机梯度下降的改进——Adam算法详解(Adam≈梯度方向优化Momentum+自适应学习率RMSprop)

文章目录 一、实验介绍二、实验环境1. 配置虚拟环境2. 库版本介绍 三、实验内容0. 导入必要的库1. 随机梯度下降SGD算法a. PyTorch中的SGD优化器b. 使用SGD优化器的前馈神经网络 2.随机梯度下降的改进方法a. 学习率调整b. 梯度估计修正 3. 梯度估计修正:动量法Momen…

STM32--系统滴答SysTick

一、SysTick是什么? Systick定时器是一个24bit的倒计时(向下计数)定时器,功能就是实现简单的延时。 SysTick 是一种系统定时器,通常在嵌入式系统中使用。它是 ARM Cortex-M 处理器的一个特殊定时器,用于提…

基于Qt 多线程(继承自QThread篇)

# 简介 我们写的一个应用程序,应用程序跑起来后一般情况下只有一个线程,但是可能也有特殊情况。比如我们前面章节写的例程都跑起来后只有一个线程,就是程序的主线程。线程内的操作都是顺序执行的。恩,顺序执行?试着想一下,我们的程序顺序执行,假设我们的用户界面点击有某…

JavaScript_动态表格_删除功能

1、动态表格_删除功能 <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><title>动态表格_添加和删除功能</title><style>table{border: 1px solid;margin: auto;width: 100%;}td,th{text-align: …

网络渗透测试(被动扫描)

被动扫描 主要是指的是在目标无法察觉的情况下进行信息搜集。在Google上进行人名的搜素就是一次被动扫描。最经典的被动扫描技术就是"Google Hacking"技术。由于Google退出中国&#xff0c;暂时无法使用。在此介绍三个优秀的信息搜集工具 被动扫描范围 1.企业网络…

Kafka入门

kafka无疑是当今互联网公司使用最广泛的分布式实时消息流系统&#xff0c;它的高吞吐量&#xff0c;高可靠等特点为并发下的大批量实时请求处理提供了可靠保障。很多同学在项目中都用到过kafka&#xff0c;但是对kafka的设计原理以及处理机制并不是十分清楚。为了知其然知其所以…

k8s-docker二进制(1.28)的搭建

二进制文件-docker方式 1、准备的服务器 角色ip组件k8s-master1192.168.11.111kube-apiserver,kube-controller-manager,kube-scheduler,etcdk8s-master2192.168.11.112kube-apiserver,kube-controller-manager,kube-scheduler,etcdk8s-node1192.168.11.113kubelet,kube-prox…

Presentation Prompter 5.4.2(mac屏幕提词器)

Presentation Prompter是一款演讲辅助屏幕提词器软件&#xff0c;旨在帮助演讲者在公共演讲、主持活动或录制视频时更加流畅地进行演讲。以下是Presentation Prompter的一些特色功能&#xff1a; 提供滚动或分页显示&#xff1a;可以将演讲稿以滚动或分页的形式显示在屏幕上&a…

client-go controller-runtime kubebuilder

背景 这半年一直做k8s相关的工作&#xff0c;一直接触client-go controller-runtime kubebuilder&#xff0c;但是很少有文章将这三个的区别说明白&#xff0c;直接用框架是简单&#xff0c;但是出了问题就是黑盒&#xff0c;这不符合我的理念&#xff0c;所以这篇文章从头说起…

【Android】画面卡顿优化列表流畅度三之RecyclerView刷新机制notifyItemRangeInserted

经过长达一个多星期的反复渲染耗时记录&#xff0c;大致上有以下几个方面的地方可以优化&#xff1a; 列表组件RecyclerView刷新机制由notifyDataSetChanged()优化为notifyItemRangeInserted&#xff08;&#xff09;&#xff0c;后期有必要也会使用notifyItemRangeRemoved、n…

uniapp发行web页面在老版本浏览器打开一片空白

uniapp发行的web页面&#xff08;菜单->发行->网站-PC Web或手机H5&#xff09;&#xff0c;对于一些老的浏览器&#xff08;或内核&#xff09;&#xff0c;打开一片空白&#xff1b; 而在新版本的浏览器中打开却正常。这是因为那些版本较低的浏览器不支持ES6的语法和新…