EuroLLVM'19 开发者会议议程
LLVM 基金会很高兴宣布 EuroLLVM'19 开发者会议(4 月 8 日至 9 日在比利时布鲁塞尔举行)的议程!主题演讲
- MLIR:用于编译器基础设施的多级中间表示 Tatiana Shpeisman (Google),Chris Lattner (Google)
- 将 Linux 发行版的核心工具链切换到 LLVM/Clang Bernhard Rosenkränzer (Linaro, OpenMandriva, LinDev)
- 只需编译:使用 Julia 在 GPU 上进行高级编程 Tim Besard (根特大学)
- 基于 AST Matcher 的重构的未来 Stephen Kelly
- 编译器方法解决网络安全问题 François de Ferrière (意法半导体)
- 用于 (OpenMP) 目标卸载到 GPU 的编译器优化 Johannes Doerfert (阿贡国家实验室),Hal Finkel (阿贡国家实验室)
- 处理大规模并发性:GPU 和 CPU 编程模型的开发 Matthias Liedtke (SAP)
- 使用 XLA 自动化 GPU 内核融合 Thomas Joerg (Google)
- Helium Haskell 编译器及其新的 LLVM 后端 Ivo Gabe de Wolff (乌特勒支大学)
- 功能安全优化编译器的测试和资格认证 José Luis March Cabrelles (Solid Sands)
- 改善 LLVM 中的调试信息以恢复优化后的函数参数 Nikola Prica (RT-RK),Djordje Todorovic (RT-RK),Ananthakrishna Sowda (思科),Ivan Baev (思科)
- GraalVM 中的 LLVM IR:使用 Sulong 进行多级、多语言调试 Jacob Kreindl (林茨约翰内斯·开普勒大学)
- LLDB 重现器 Jonas Devlieghere (苹果)
- Sulong:在 GraalVM 中使用 LLVM 的“另一端”的经验报告。 Roland Schatz (甲骨文实验室),Josef Eisl (甲骨文实验室)
- SYCL 编译器:异构计算的零成本抽象和类型安全 Andrew Savonichev (英特尔)
- 使用 JITed C++ 代码处理所有 Facebook 请求 Huapeng Zhou (Facebook),Yuhan Guo (Facebook)
- clang-scan-deps:快速扫描显式模块的依赖项 Alex Lorenz (苹果),Michael Spencer (苹果)
- 用于实现 OTRv4 等加密协议的 Clang 工具 Sofia Celi (数字自治中心)
- 在 Clang 中实现 C++ 核心准则的生命周期安全配置文件 Gabor Horvath (Eotvos Lorand 大学),Matthias Gehre (Silexica GmbH),Herb Sutter (微软)
- C++ 标准库对 C++20 的更改 Marshall Clow (CppAlliance)
- 与 RISC-V 向量和 LLVM 的冒险之旅 Robin Kruppe (达姆施塔特工业大学),Roger Espasa (Esperanto Technologies)
- 两个 ABI 的故事:AArch64 上的 ILP32 Tim Northover (苹果)
- LLVM 数值改进 Michael Berg (苹果),Steve Canon (苹果)
- DOE 代理应用程序:编译器性能分析和乐观注释探索 Brian Homerding (阿贡国家实验室),Johannes Doerfert (阿贡国家实验室)
- 循环融合、循环分配及其在循环优化管道中的位置 Kit Barton (IBM),Johannes Doerfert (阿贡国家实验室),Hal Finkel (阿贡国家实验室),Michael Kruse (阿贡国家实验室)
- 教程:使用 MLIR 构建编译器 Amini Mehdi (Google),Jacques Pienaar (Google),Nicolas Vasilache (Google)
- 构建基于 LLVM 的工具:经验教训 Alex Denisov
- LLVM IR 教程 - Phis、GEPs 和其他东西,哦,我的天哪! Vince Bridgers (英特尔公司),Felipe de Azevedo Piovezan (英特尔公司)
- 安全优化指针和整数之间的转换 Juneyoung Lee (首尔国立大学,韩国),Chung-Kil Hur (首尔国立大学,韩国),Ralf Jung (MPI-SWS,德国),Zhengyang Liu (犹他大学,美国),John Regehr (犹他大学,美国),Nuno P. Lopes (微软研究院,英国)
- Polly 的替代 OpenMP 后端 Michael Halkenhäuser (达姆施塔特工业大学)
- 使用重新汇聚 CFG 在 LLVM 中实现 SPMD 控制流 Fabian Wahlster (慕尼黑工业大学),Nicolai Hähnle (AMD)
- 通过序列比对进行函数合并 Rodrigo Rocha (爱丁堡大学),Pavlos Petoumenos (爱丁堡大学),Zheng Wang (兰卡斯特大学),Murray Cole (爱丁堡大学),Hugh Leather (爱丁堡大学)
- 使用安全注释进行编译和优化 Son Tuan Vu (LIP6),Karine Heydemann (LIP6),Arnaud de Grandmaison (ARM),Albert Cohen (Google)
- 在 Clang 中添加对 C++ 合约的支持 Javier López-Gómez (马德里卡洛斯三世大学),J. Daniel García (马德里卡洛斯三世大学)
- LLVM IR 定时预测:通过 lli 进行快速探索 Alessandro Cornaglia (FZI - 信息技术研究中心)
- 简单外循环向量化 == 循环展开和合并 + SLP Dibyendu Das (AMD)
- Clacc 2019:Clang 和 LLVM 的 OpenACC 支持更新 Joel E. Denny (橡树岭国家实验室),Seyong Lee (橡树岭国家实验室),Jeffrey S. Vetter (橡树岭国家实验室)
- 使用 LLVM 针对静态编译的程序库 Phil Camp (SN Systems (索尼互动娱乐)),Russell Gallop (SN Systems (索尼互动娱乐))
- win32 clang 编译器可执行文件是否真的需要超过 21MB 的大小? Russell Gallop (SN Systems),Greg Bedwell (SN Systems)
- 解决 Clang 静态分析器中近十年的检查器依赖问题 Kristóf Umann (爱立信匈牙利,罗兰·厄特沃什大学)
- 在工具链中采用 LLVM 二进制工具 Jordan Rupprecht (Google)
- 基于范围的约束管理器中的乘法和除法 Ádám Balogh (爱立信匈牙利有限公司)
- Clang 静态分析器中的基于统计的检查器 Ádám Balogh (爱立信匈牙利有限公司)
- Flang 更新 Steve Scalpone (英伟达/PGI/Flang)
- 将摆动模调度与寄存器分配结合在一起 Lama Saba (英特尔)
- 阿波罗制导计算机的 LLVM Lewis Revill (巴斯大学)
- 使用 Clang 静态分析器捕获悬挂内部指针 Réka Kovács (罗兰·厄特沃什大学)
- 跨翻译单元测试用例缩减 Réka Kovács (罗兰·厄特沃什大学)
- RFC:迈向 LLVM IR 中的向量谓词 Simon Moll (萨尔兰大学),Sebastian Hack (萨尔兰大学)
- IPO --- 我们身在何处,我们想去哪里? Johannes Doerfert (阿贡国家实验室),Kit Barton (IBM 多伦多实验室)
- LLVM binutils James Henderson (SN Systems (索尼互动娱乐)),Jordan Rupprecht (Google)
- RFC:LLVM 的参考 OpenCL 运行时库 Andrew Savonichev (英特尔), Alexey Sachkov (英特尔)
- LLVM 接口稳定性保证 BoF Stephen Kelly
- Clang 静态分析器 BoF Devin Coughlin (苹果),Gabor Horvath (Eotvos Lorand 大学)
- LLVM 数值改进 Michael Berg (苹果), Steve Canon (苹果)
- Clava:使用 LARA 的 CMake 的 C/C++ 源代码到源代码 João Bispo (FEUP/INESCTEC)
- 安全优化指针和整数之间的转换 Juneyoung Lee (首尔国立大学,韩国),Chung-Kil Hur (首尔国立大学,韩国),Ralf Jung (MPI-SWS,德国),Zhengyang Liu (犹他大学,美国),John Regehr (犹他大学,美国),Nuno P. Lopes (微软研究院,英国)
- 标量演化规范:点击!规范化 SCEV 并通过 Z3 SMT 求解器验证它! Lin-Ya Yu (赛灵思),Alexandre Isoard (赛灵思)
- 精彩的 GVN:用于代数简化的部分冗余消除 Li-An Her (国立清华大学),Jenq-Kuen Lee (国立清华大学)
- Polly 的替代 OpenMP 后端 Michael Halkenhäuser (达姆施塔特工业大学)
- win32 clang 编译器可执行文件是否真的需要超过 21MB 的大小? Russell Gallop (SN Systems),G Bedwell (SN Systems)
- 使用 LLVM 启用多语言和跨语言验证 Zvonimir Rakamaric (犹他大学)
- 指令跟踪和动态代码生成分析以识别独特的 llvm 性能问题。 Biplob (IBM)
- 使用 JITed C++ 代码处理所有 Facebook 请求 Huapeng Zhou (Facebook),Yuhan Guo (Facebook)
- 使用重新汇聚 CFG 在 LLVM 中实现 SPMD 控制流 Fabian Wahlster (慕尼黑工业大学),Nicolai Hähnle (AMD)
- 阿波罗制导计算机的 LLVM Lewis Revill (巴斯大学)
- LLVM 矿工:基于文本分析的静态知识提取器 Hameeza Ahmed (NED 工程技术大学),Muhammad Ali Ismail (NED 工程技术大学)
- 通过序列比对合并函数 Rodrigo Rocha(爱丁堡大学)、Pavlos Petoumenos(爱丁堡大学)、Zheng Wang(兰卡斯特大学)、Murray Cole(爱丁堡大学)、Hugh Leather(爱丁堡大学)
- 使用安全注释进行编译和优化 Son Tuan Vu(LIP6)、Karine Heydemann(LIP6)、Arnaud de Grandmaison(ARM)、Albert Cohen(Google)
- 跨翻译单元测试用例缩减 Réka Kovács(Eötvös Loränd University)
- 在Chapel编译器中利用多面体编译 Sahil Yerawar(印度理工学院海德拉巴分校)、Siddharth Bhat(印度理工学院海德拉巴分校)、Michael Ferguson(Cray Inc.)、Philip Pfaffe(卡尔斯鲁厄理工学院)、Ramakrishna Upadrasta(印度理工学院海德拉巴分校)
- AVR上的LLVM - 文本IR作为创建“不可能”编译器的强大工具 Carl Peto(Swift for Arduino/Petosoft)
- 使用SLP矢量化加/减表达式 Vasileios Porpodas(英特尔公司,美国)、Rodrigo C. O. Rocha(爱丁堡大学,英国)、Evgueni Brevnov(英特尔公司,美国)、Luís F. W. Góes(PUC Minas,巴西)、Timothy Mattson(英特尔公司,美国)
- 为Clang添加对C++契约的支持 Javier López-Gómez(卡洛斯三世马德里大学)、J. Daniel García(卡洛斯三世马德里大学)
- 优化不确定性:利用并行程序中的竞争条件 William S. Moses(麻省理工学院CSAIL)