时间：2013年11月16日09:00 – 18:00
9:00 – 9:30 入场、签到
9:30 – 9:40 嘉宾介绍、致谢
9:40 – 10:30 话题：在Cling上实现空指针解引用检测机制，丁保增
10:30 – 11:20 话题：Build An Optimized C Runtime for Embedded Linux，黃敬群
11:20 – 11:30 抽奖
13:30 – 14:20 话题：GCC上归纳变量的优化，程斌
14:20 – 15:10 话题：Port GCC to a new architecture – Case study: nds32，Chung-Ju Wu
15:10 – 15:40 自由讨论
15:40 – 16:30 话题：The Theory, History and Future of System Linkers，Luba Tang
16:30 – 17:20 话题：深入LLVM ARM后端，刘江宁
17:20 – 17:30 抽奖
题 目：Build An Optimized C Runtime for Embedded Linux
简 介：olibc is derived from bionic libc used in Android, which was initially derived from NetBSD libc. olibc is expected to merge the enhancements done by several SoC vendors and partners, such as Qualcomm, TI, Linaro, etc., which is known to be the major difference from glibc, uclibc, and other traditional C library implementations. Typically, the code size of olibc runtime should be highly customizable. For ARM target, olibc would benefit from ARMv7 specific features like NEON, Thumb-2, VFPv3/VFPv4, and latest compiler optimization techniques. Also, olibc is released under BSD License.
简 介：归纳变量是循环优化中非常重要的因素。不同的IV选取方法往往导致生成代码的大小和性能有很大的差距。ARM工程师程斌在GCC的IV Optimization上做了很多的调优和修复，并在目标机上取得了明显的性能提升。他将会介绍IVO的概况和他遇到的一些有趣的问题。
题 目：Port GCC to a new architecture – Case study: nds32
Chung-Ju Wu is a compiler engineer at Andes Technology Corporation. He is currently working with other engineers on developing a complete toolchain/compiler for supporting Andes nds32 architecture.
He received M.S. degree in Computer Science from National Tsing-Hua University,
HsinChu, where he is also working towards the Ph.D degree. His research interests include GCC/Open64 compiler porting, compiler optimizations, and system software for embedded SoC integrations.
简 介：GCC, GNU Compiler Collection, has been ported to a wide variety of processor architectures. Although there are some documentation describing GCC internal infrastructures and porting mechanism, there is still gap between modifying existing ports and adding new ports in GCC.
In this session, an architecture — nds32 — is taken as case study, we will go through necessary steps of creating a new target port for GCC from scratch. This presentation starts with introducing the source files that are required to be modified and prepared. Then some fundamental naming patterns in machine description will be mentioned. We will also talk about how to improve code generation by utilizing target hooks and refine machine description patterns. Hopefully this tutorial is able to provide some guidelines for ones who are interested in porting GCC for a new architecture.
题 目：The Theory, History and Future of System Linkers
Taiwan Evolution Software Technology, Founder. Luba Tang received his M.S. degree in computer science from the National Tsing-Hua University, Taiwan. He has been a Ph.D. student in computer science department of National Tsing-Hua University, Taiwan since 2007. At the same time, he has been working in the compiler groups at Marvell, Inc. and MediaTek, Inc. since 2010. His research interests include both electronic system level (ESL) design and compilers. He had focused on iterative compiler, ahead-of-time compiler, and link-time optimization. His most recent work focus is on cloud compilation. He was the chief programmer of Starfish DSP simulator, the original author of Marvell iterative compiler, and also the software architect of MCLinker. His most recent position is the founder of Taiwan Evolution Software Technology Inc..
简 介：The tedious and tough details of linking process limit the development of system linkers for more than 30 years. Most works stopped at providing portable infrastructures; Some works ever focused on optimizing linker, but all of them become limited binary rewriter, not real and practical linkers; Only few works ever addressed on modeling linking process.
In this presentation, I will review the history of development of system linkers. I will start from introduction to 1992 OM system – the first work attempts to build an optimizing linker. I will also introduce several famous successors – ATOM and Intel PIN projects, some competitors – 1999 Alto, 2000 ICFG and 2003 Diablo link-time optimizer and eventually introduce modern optimizing linkers – Google gold, Apple ld64 and MCLinker.
Modern optimizing linkers have different models of linking. Every models have its unique strength and weakness. I will introduce the differences, advantages and drawbacks of these linkers. This part will touch ATOM model of ld64 and Fragment-reference model of MCLinker.
Finally, I will introduce a new open source project – bold. The goal of the bold project is to provide a parallel and optimizing linking infrastructure. It’s my introspection of linking models.
题 目：深入LLVM ARM后端
现任ARM首席软件工程师(Principal software engineer)， 长期从事编译器软件的设计和开发工作。从2000年至2010年任职于英特尔，期间曾在英特尔编译器实验室参与和领导开发多个编译器项目，其中包括UEFI中间代码编译器，英特尔编译器x86-64后端实现，以及动态二进制代码翻译性能优化等等。自2011年起任职ARM软件工具链部门，参与和领带开源软件的开发工作，其中包括针对ARM Cortex-M系列CPU的GCC编译器的性能优化，以及LLVM/Clang编译器针对ARM v7/v8 CPU的实现。