A Forum for LLVM Developers

The meeting serves as a forum for LLVM, Clang, LLDB and other LLVM project developers and users to get acquainted, learn how LLVM is used, and exchange ideas about LLVM and its (potential) applications.

Two Full Days of Program

The conference will be two full days that include technical talks, BoFs, hacker’s lab, tutorials, a poster session and a reception.

Broad Target Audience

Active developers of projects in the LLVM Umbrella; Anyone interested in using these as part of another project; Compiler, programming language, and runtime enthusiasts; Those interested in using compiler and toolchain technology in novel and interesting ways.

Program

The detailed program including author names, affiliation and abstracts can be found here.

Title List
LLVM for the future of Supercomputing - Keynote - [more] [pdf] [video] Weak Memory Concurrency in C/C++11 and LLVM - Keynote - [more] [pdf] [video]
Adventures in Fuzzing Instruction Selection - Technical Talk - [more] [pdf] [video] ARM Code Size Optimisations - Technical Talk - [more] [pdf] [video]
AVX-512 Mask Registers Code Generation Challenges in LLVM - Technical Talk - [more] [pdf] [video] Clank: Java-port of C/C++ compiler frontend - Technical Talk - [more] [pdf] [video]
CodeCompass: An Open Software Comprehension Framework - Technical Talk - [more] [pdf] [video] Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and Measurements - Technical Talk - [more] [pdf] [video]
Delivering Sample-based PGO for PlayStation(R)4 (and the impact on optimized debugging) - Technical Talk - [more] [pdf] [video] Effective Compilation of Higher-Order Programs - Technical Talk - [more] [pdf] [video]
Expressing high level optimizations within LLVM - Technical Talk - [more] [pdf] [video] Formalizing the Concurrency Semantics of an LLVM Fragment - Technical Talk - [more] [pdf] [video]
Introducing VPlan to the Loop Vectorizer - Technical Talk - [more] [pdf] [video] LLVM performance optimization for z Systems - Technical Talk - [more] [pdf] [video]
LLVMTuner: An Autotuning framework for LLVM - Technical Talk - [more] [video] Path Invariance Based Partial Loop Un-switching - Technical Talk - [more] [pdf] [video]
Register Allocation and Instruction Scheduling in Unison - Technical Talk - [more] [pdf] [video] SPIR-V infrastructure and its place in the LLVM ecosystem - Technical Talk - [more] [pdf] [video]
Using LLVM for Safety-Critical Applications - Technical Talk - [more] [video] Using LLVM in a scalable, high-available, in-memory database server - Technical Talk - [more] [pdf] [video]
XLA: Accelerated Linear Algebra - Technical Talk - [more] [video] Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks - SRC - [more] [pdf] [video]
Bringing Next Generation C++ to GPUs: The LLVM-based PACXX Approach - SRC - [more] [pdf] [video] Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications - SRC - [more] [pdf] [video]
ELF GOT Problems? CFI Can Help. - SRC - [more] LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM - SRC - [more] [pdf] [video]
Software Prefetching for Indirect Memory Accesses - SRC - [more] [pdf] [video] ClrFreqPrinter: A Tool for Frequency Annotated Control Flow Graphs Generation - Lightning Talk - [more] [pdf] [web] [video]
DIVA (Debug Information Visual Analyzer) - Lightning Talk - [more] [pdf] [video] Generalized API checkers for the Clang Static Analyzer - Lightning Talk - [more] [pdf] [video]
LibreOffice loves LLVM - Lightning Talk - [more] [pdf] [video] LLVM AMDGPU for High Performance Computing: are we competitive yet? - Lightning Talk - [more] [pdf] [web] [video]
Simple C++ reflection with a Clang plugin - Lightning Talk - [more] [video] Alternative Backend Design - BoF - [more]
Clangd: A new Language Server Protocol implementation leveraging Clang - BoF - [more] [pdf] GlobalISel - BoF - [more]
LLVM Foundation - BoF - [more] A Source-to-Source Vectorizer for the Connex SIMD Accelerator - Poster - [more]
AnyDSL: A Compiler-Framework for Domain-Specific Libraries (DSLs) - Poster - [more] [pdf] Binary Instrumentation of ELF Objects on ARM - Poster - [more]
CodeCompass: An Open Software Comprehension Framework - Poster - [more] Hydra LLVM: Instruction Selection with Threads - Poster - [more] [pdf]
Intelligent selection of compiler options to optimize compile time and performance - Poster - [more] [pdf] LLVM-based silent stores optimization to reduce energy consumption on STT-RAM cache memory - Poster - [more]
Modeling Universal Instruction Selection - Poster - [more] Preparing LLVM for the Future of Supercomputing - Poster - [more]

Sponsors

Diamond:

Apple

Apple QuIC

Platinum:

Gold:

Other Sponsors:

Program Committee

Anton Korobeynikov (PC chair) Saint Petersburg State University
David Chisnall (SRC chair) University of Cambridge
Hal Finkel Argonne National Labs
Renato Golin Linaro
Manuel Klimek Google
Anastasia Stulova ARM
Anna Zaks Apple
Hans Wennborg Google
Matthias Braun Apple
Sebastian Hack Saarland University
Nuno Lopes Microsoft Research
Elena Demikhovsky Intel

Local Organizers

Johannes Doerfert Simon Moll
Sebastian Hack Sandra Neumann
Tina Jung Kevin Streit
For any questions, please contact: eurollvm17-orga@cs.uni-saarland.de