The LLVM Project Blog

LLVM Project News and Details from the Trenches

The 2020 Virtual LLVM Developers' Meeting Program

2020 Virtual LLVM Developers' Meeting

The LLVM Foundation is excited to announce the 2020 Virtual LLVM Developers' Meeting program! Registration will open this week.

Keynote:

  • Undef and Poison: Present and Future - J. Lee

Technical Talks:

  • Clang & Linux: Asm Goto with Outputs - B. Wendling; N. Desaulniers
  • LLVM Libc: Current Status, Challenges and Future Plans - S. Reddy; G. Chatelet; P. Asker; D. Finkelstein
  • Branch Coverage: Squeezing more out of LLVM Source-based Code Coverage - A. Phipps
  • Memory tagging in LLVM and Android - E. Stepanov; K. Serebryany; P. Collingbourne; M. Phillips
  • Towards a representation of arbitrary alias graph in LLVM IR for Fortran code - K. Li; T. Islam
  • Control-flow sensitive escape analysis in Falcon JIT - A. Pilipenko
  • Extending Clang for checking compliance with automotive coding standards - M. Vujosevic Janicic
  • An Update on Optimizing Multiple Exit Loops - P. Reames
  • Code Size Compiler Optimizations and Techniques - A. Kumar
  • Accelerate Matrix Multiplication Using the New POWER Outer Product Instructions - B. Saleil; J. Carvalho
  • CIL : Common MLIR Dialect for C/C++ and Fortran - P. NR; V. M; Ranjith; Srihari
  • Building compiler extension for LLVM 10.0.1 - S. Guelton
  • LLVM-based mutation testing for C and C++ - A. Denisov; S. Pankevich
  • Matrix Support in Clang and LLVM- F. Hahn
  • Adding CUDA® Support to Cling: JIT Compile to GPUs - S. Ehrig
  • The Present and Future of Interprocedural Optimization in LLVM - J. Doerfert; B. Homerding; S. Baziotis; S. Stipanovic; H. Ueno; K. Dinel; S. Okumura; L. Chen
  • Pushing Back Lit’s Boundaries to Test Libc++ - L. Dionne
  • Evolving “convergent”: Lessons from Control Flow in AMDGPU - N. Hähnle
  • How to update debug info in compiler transformations - A. Prantl; V. Kumar
  • Proposal for A Framework for More Effective Loop Optimizations - M. Kruse; H. Finkel
  • Changing Everything With Clang Plugins: A Story About Syntax Extensions, Clang’s AST, and Quantum Computing = H. Finkel; A. Mccaskey
  • (OpenMP) Parallelism-Aware Optimizations - J. Doerfert; S. Stipanovic; H. Mosquera; J. Chesterfield; G. Georgakoudis; J. Huber
  • Checked C: Adding memory safety support to LLVM - M. Grang; K. Kjeer

Tutorials:

  • Everything I know about debugging LLVM - N. Desaulniers
  • LLVM in a Bare Metal Environment - H. Qadeer
  • PGO: Add per-callsite counters - P. Kosov; Y. Sergey
  • Understanding Changes made by a Pass in the Opt Pipeline. - J. Schmeiser
  • Using clang-tidy for customized checkers and large scale source tree refactoring - V. Bridgers
  • Finding Your Way Around the LLVM Dependence Analysis Zoo - S. Baziotis; S. Moll
  • Using the clang static analyzer to find bugs - V. Bridgers
  • A Deep Dive into the Interprocedural Optimization Infrastructure - J. Doerfert; B. Homerding; S. Baziotis; S. Stipanovic; H. Ueno; K. Dinel; S. Okumura; L. Chen
  • MLIR Tutorial - M. Amini

Lightning Talks:

  • Finding and Outlining Similarities in LLVM IR - A. Litteken
  • A fast algorithm for global code motion of congruent instructions - A. Kumar; S. Pop
  • From Implicit Pass Dependencies to Effectiveness Prediction - H. Ueno; J. Doerfert; E. Park; G. Georgakoudis; T. Jayatilaka; S. Badruswamy
  • Using Clang as An Alternative C/C++ Frontend of The ROSE Source-to-Source Compiler - A. Wang; P. Lin; C. Liao; Y. Yan
  • OpenACC support in Flang with a MLIR dialect - V. Clement; J. Vetter
  • Fragmenting the DWARF to Enable Dead Debug Data Elimination - J. Henderson
  • Source-based Code Coverage for Embedded Use Cases - A. Phipps; C. Addison
  • pre-merge checks for LLVM - M. Goncharov; C. Kühnel
  • Getting stack size just right on XCore - J. McCrea
  • Compile Faster with the Program Repository and ccache - Y. Yi; P. Bowen-Huggett
  • GWP-TSan: Zero-Cost Detection of Data Races in Production - M. Morehouse; K. Serebryany
  • CompilerInvocation to -cc1 command line - D. Grumberg
  • Outer-Loop Vectorization Legality Analysis for RV: One Step Closer to a Powerful Vectorizer for LLVM - S. Baziotis
  • Flang Update - S. Scalpone
  • Code Feature Analysis, Tracking, and Future Usage - T. Jayatilaka; J. Doerfert; G. Georgakoudis; E. Park; H. Ueno; S. Badruswamy
  • Lowering XLA HLO using RISE - A Functional Pattern-based MLIR Dialect - M. Lücke; A. Smith; M. Steuwer
  • SYCL for CUDA: An overview of implementing PI for CUDA - A. Johnston
  • Extending LLDB to More Scripting Languages - J. Devlieghere
  • Adding a Subtarget Support to LLVM in Five Minutes - E. Yakubova

Birds of a Feather:

  • ClangBuiltLinux BoF - N. Desaulniers
  • Loop Optimization BoF - M. Kruse; K. Barton
  • LLVM Just-In-Time Compilers BoF - L. Hames
  • Code Size Optimization - S. Bartell; V. Adve

Student Research Competition

  • Enzyme: High-Performance Automatic Differentiation of LLVM - W. Moses; V. Churavy
  • SPAM: Stateless Permutation of Application Memory with LLVM - M. Ziad; M. Arroyo; S. Sethumadhavan
  • HPVM-FPGFA: Leveraging Compiler Optimizations for Hardware-Agnostic FPGA Programming - A. Ejjeh; K. Kanwar; M. Kotsifakou; V. Adve; R. Rutenbar
  • Guided Linking: shrinking and speeding up dynamically linked code - S. Bartell; V. Adve
  • ApproxTuner: A Compiler and Runtime System for Adaptive Approximations - H. Sharif; M. Kotsifakou; Y. Zhao; A. Kothari; B. Schreiber; E. Wang; Y. Sarita; N. Zhao; K. Joshi; V. Adve; S. Misailovic; S. Adve

Posters:

  • CIRCT: MLIR for Hardware Design - S. Neuendorffer; C. Lattner; A. Wilson
  • An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants - J. Lim; M. Aanjaneya; J. Gustafson; S. Nagarakatte
  • Compiling a Higher-Order Smart Contract Language to LLVM - V. Nagaraj; J. Johannsen; A. Trunov; G. Pirlea; A. Kumar; I. Sergey
  • To -jInfinity & Beyond - W. Moses; K. Kwok; L. Sha
  • llvm-diva – Debug Information Visual Analyzer - C. Enciso
  • Quickly Finding RISC-V Code Quality Issues with Differential Analysis - L. Marques
  • Error estimates of floating-point numbers and Jacobian matrix computation in Clad - V. Vassilev; A. Penev; R. Shakhov
  • Data Dependency using MSSA: Analysis and Contrast - R. Sharma
  • Connecting Clang to The ROSE Source-to-Source Compiler - A. Wang; P. Lin; C. Liao; Y. Yan
  • Incremental Compilation Support in Clang - V. Vassilevv; D. Lange