报告题目:EMI Testing: Finding 1300+ Bugs in GCC and Clang/LLVM 报告人:Zhendong Su,UC Davis报告简介:This talk gives an overview of two recently developed general classes of practical techniques for
查看详情 >
报告题目:JavaScript的类型静态化探索 报告人:金一华,阿里巴巴 Yunos 虚拟机组 报告简介:JavaScript是web生态的第一语言,也被运用到了nodejs等非前端环境中,nodejs的npm包系统已经成为全球最大的开源库生态系统。
查看详情 >
报告题目: what optimization technology the developer like most from Intel Compiler 报告人:汪 洋, Intel 报告简介:Intel Compiler is broadly used in the worldwide industry.
查看详情 >
报告题目:太湖之光openacc编译系统 报告人:张立博,国家并行计算机工程技术研究中心 报告简介:“神威•太湖之光”是国内第一台全部采用国产异构众核处理器“申威26010”构建的世界第一的超级计算机,“太湖之光”的异构众核体系结构及内存层次的复杂性给众核编程带来巨大挑战。
查看详情 >
报告题目:龙芯高性能编译器:优化与检测 报告人:吕方,中科院计算所 报告简介:上层应用与高性能计算机之间的性能“不搭”问题伴随着整个计算机的发展历程,编译器是解决这个问题的核心手段之一。近年来,高性能自主可控软、硬件已成为我国自主化信息产业发展的必备技术,作为系统核心软件之一的编译器的重要性已提至信息...
查看详情 >
报告题目:华为自研编译器探索与实践 报告人:喻钢,华为技术有限公司 报告简介:华为自研编译器实践从2009年开始,先后经历外购商用编译器、自研替代商用编译器、自研核编译器、自研编程语言与编译器几个发展阶段。本报告介绍华为编译器探索与实践过程、华为编译器与编程语言业务,分享在自研编译器研发过程中一些经验与体...
查看详情 >
报告题目:面向飞腾并行系统的OpenCL高效实现技术 报告人:方建滨,国防科技大学 报告简介: OpenCL能够保证使用统一编程接口和语言编写的程序运行在多种类平台上(包括CPU、GPU及其它加速器)。然而,这需要在每个平台上构建平台特定的OpenCL实现。本工作提出一种面向飞腾并行系统的OpenCL实现从而将通用的OpenCL平台模型...
查看详情 >
报告题目:基于字节码变种技术的Java虚拟机差别测试 报告人:陈雨亭,上海交通大学 报告简介: Java虚拟机是Java核心技术, 其可靠性对Java应用的正确、跨平台运行至关重要。然而,测试Java虚拟机,因其通常需要精心设计的测试类和测试喻言,往往难且低效。一个解决方案是采用字节码变种技术生成测试类,并利用差别测试以发...
查看详情 >