直播主题:
程序设计语言核心概念和关键技术分享
编译大赛初赛回顾与决赛解读
直播时间:8月8日 10:00-12:00
冯新宇 2007年于耶鲁大学获博士学位,现任南京大学教授、华为2012中央软件院编程语言实验室主任。主要研究方向为程序设计语言理论、形式化程序验证等。提出并发程序模块化精化验证理论,并将其应用于核心并发算法、抢占式并发操作系统内核、以及编译器等核心系统软件的正确性和可靠性验证。在POPL、PLDI、LICS、CAV、ACM TOPLAS等国际会议和期刊上发表论文多篇,其中编译器验证工作获PLDI 2019优秀论文奖。担任APLAS 2015、APLAS 2017和SETTA 2017的程序委员会主席/大会主席,多次担任POPL、PLDI、ESOP、ICALP等国际会议程序委员会委员。
报告摘要:
程序设计语言实现计算的抽象和表达,而编译器则将该抽象和表达映射到计算机硬件所能理解的二进制表示。报告将介绍程序设计语言的核心概念,以及它们对软件的开发效率、运行性能、安全可靠这三个关键特性的影响和贡献,也会介绍程序设计语言设计和编译实现的关键技术和一些新的发展趋势,以期听众能够对程序设计语言研究概貌和最新发展有一定了解。
主题二:
胡春明 北京航空航天大学计算机学院教授,博士生导师,中国计算机学会系统软件专委会常务委员。2018年加入北航《编译技术》课程教学组,担任主讲教师。主要研究方向是分布式系统、数据中心资源管理与调度。
扫描以下二维码进入直播间。
2020年8月8日 10:00-12:00,不见不散。
欢迎大家加入大赛QQ群学习交流 ,QQ群号:700621252
大赛网站:
http://compiler.educg.net
编译领域无可替代的经典著作,被广大计算机专业人士誉为“龙书”。本书上一版自1986年出版以来,被世界各地的著名高等院校和研究机构(包括美国哥伦比亚大学、斯坦福大学、哈佛大学、普林斯顿大学、贝尔实验室)作为本科生和研究生的编译原理课程的教材。该书对我国高等计算机教育领域也产生了重大影响。
紧密结合LLVM的源码,系统介绍LLVM的模块化设计理念并详解技术细节
LLVM是一个世界领先水平的编译器框架。它包含有丰富软件库,可以为编译器的初学者提供良好的学习体验,并大大降低编译器开发的学习门槛。
本书的前半部分将向您介绍怎么样去配置、构建、和安装LLVM的不同软件库、工具和外部项目。接下来,本书的后半部分将向您介绍LLVM的各种设计细节,并逐步地讲解LLVM的各个编译步骤:前段、中间表示(IR)、后端、即时编译(JIT)引擎、跨平台编译和插件接口。本书包含有大量翔实的示例和代码片段,以帮助读者平稳顺利的掌握LLVM的编译器开发环境。