编译器

会议室:待定 时间:04月16日 15:30
出品人:刘新铭

本专题重点介绍全球编译器的发展方向和现状、编译器在国内的研发成果及在芯片等尖端行... 展开 >

专题出品人:刘新铭

鉴释科技联合创始人兼首席架构师

鉴释联合创始人兼首席架构师,主导鉴释面向 DevOps 的静态代码分析工具的核心研发工作。他在开发和交付高性能计算系统(HPC)编译器和性能分析工具方面拥有数十年的丰富经验,是业界公认的编译器技术专家。

时间:04月16日 15:30

专题:编译器

本专题重点介绍全球编译器的发展方向和现状、编译器在国内的研发成果及在芯片等尖端行业的应用,给编译器这一底层技术从业者和爱好者带来一些新的启发和认知。

by 李隆

鉴释科技
首席科学家

 

演讲摘要:

随着软件规模不断增大,架构日益复杂,在软件开发过程中兼顾开发效率、软件质量和软件性能越来越困难。为了追求更高的开发效率和更短的交付周期,软件质量和性能往往成为被忽视甚至牺牲的对象,给软件开发带来长期损害。静态分析是指在不实际运行程序的前提下,利用编译器技术中的词法/语法分析、控制流/数据流/别名/上下文分析建立代码的静态视图,在此基础上应用各种检查逻辑和规则来确定程序中影响软件质量和性能的问题代码。通过静态代码分析工具与DevOps流程紧密结合、CI/CD集成和扫描差分报告,在编码过程中实施编码规范和惯用法检查、结合预定义和自定义规则的语义和业务逻辑检查,实现更高的开发效率、更好的软件质量和软件性能。

 

演讲大纲:

1、 静态分析工具在当前软件开发流程中的应用

2、 编译相关技术在静态分析工具中的应用

3、 编译相关技术在提升软件质量和性能上的更多应用

4、 展望

 

听众收益:

1、 了解可以帮助提升开发效率和质量的工具类型

2、 了解相关工具与编译技术直接的关联

by 汤伟

蚂蚁集团
资深技术专家

 

演讲摘要:

随着摩尔定律时代的终结,为了追求高性能,越来越多应用转向异构系统,利用GPU、TPU、FPGA等不同的硬件加速能力,获得极致性能。异构系统中,不同设备都有自己的开发语言和框架,这些框架带来性能收益同时也引入了异构编程的复杂性。WebAssembly(WASM)作为一种新的字节码格式,覆盖从Web、云到端的各种计算场景,多种不同的计算场景对开发语言、部署环境和运行方式提出了新的挑战。Wasm在解决这些挑战的同时,体现了对上承接多语言、对下提供硬件虚拟化的能力,我们认为WASM在异构计算的多语言开发和硬件整合中将扮演关键角色。

 

演讲大纲:

1、WebAssembly技术介绍
1.1、WebAssembly介绍
1.2、WebAssembly的基本工作流程
1.3、WebAssembly的应用领域
2、WebAssembly源于Web,已经应用到很多新的场景,带来如下挑战
2.1、多语言开发
2.2 、多形式部署
2.3、多平台运行
3、编译器、虚拟机和工具链针对WebAssembly的挑战,提供哪些技术支持
3.1、编译器支撑多语言编译
3.2、虚拟机提供跨平台、异构运行的能力
3.3、工具链提供生态整合能力
3、未来展望

 

听众收益:

1、了解WebAssembly基本技术
2、了解WebAssembly丰富的应用前景给工具链带来的挑战
3、了解WebAssembly如何在多语言开发和硬件整合中扮演关键角色

by 陈永健

华为
编译器与编程语言实验室 架构师

 

演讲摘要:

计算机芯片和计算机编程语言的不断演进驱动了编译器和运行时技术的不断发展。作为一个承上启下的基础软件平台,编译器和运行时具有很强的工程属性。下一代编译器和运行时技术有哪些关键技术,能不能驱动相关领域的发展?从自研的角度来讲,我们需要基础的编译器和运行时系统,但我们怎么提供一个好的编译器和运行时平台和系统?我们通过对一个自研编译平台的演进过程的剖析,来试图给出对这些问题的一些思考。

 

演讲大纲:

  1. maple 编译器的设想和早期工作

1.1 编译器和虚拟机的发展简史

1.2 为什么需要一个新的编译器?

1.3 早期的探索和实践

      2.mapleJS:面向物联网的实践

2.1 问题、设计和实践

2.2 动态语言的最初经验

       3.mapleJava:方舟编译器

3.1 技术构想,mapleJava1的实践

3.2 方舟2.0的经验和教训

3.3 方舟开源社区

        4.目前的 maple,以及未来

4.1 编译优化,运行时系统的现在和未来

4.2 建议和展望

 

听众收益:

 1.了解一个自研编译/虚拟机系统中关键的技术演变和经验教训,对不同场景下编译/运行时解决的核心问题有一个清楚的认知。

 

 2.认识一个自研编译/虚拟机平台发展所面临的技术和业务上的主要挑战。

  • 电话咨询

    联系电话:+86 13240419330
在报名过程中如有任何问题,欢迎微信扫描二维码联系我们的票务经理