EuroLLVM'19 developers' meeting program

The LLVM Foundation is excited to announce the program for the EuroLLVM'19 developers' meeting (April 8 - 9 in Brussels / Belgium) !

Keynote

• MLIR: Multi-Level Intermediate Representation for Compiler Infrastructure Tatiana Shpeisman (Google), Chris Lattner (Google)

• Switching a Linux distribution's main toolchains to LLVM/Clang Bernhard Rosenkränzer (Linaro, OpenMandriva, LinDev)
• Just compile it: High-level programming on the GPU with Julia Tim Besard (Ghent University)
• The Future of AST Matcher-based Refactoring Stephen Kelly
• A compiler approach to Cyber-Security François de Ferrière (STMicroelectronics)
• Compiler Optimizations for (OpenMP) Target Offloading to GPUs Johannes Doerfert (Argonne National Laboratory), Hal Finkel (Argonne National Laboratory)
• Handling massive concurrency: Development of a programming model for GPU and CPU Matthias Liedtke (SAP)
• Automated GPU Kernel Fusion with XLA Thomas Joerg (Google)
• The Helium Haskell compiler and its new LLVM backend Ivo Gabe de Wolff (University of Utrecht)
• Testing and Qualification of Optimizing Compilers for Functional Safety José Luis March Cabrelles (Solid Sands)
• Improving Debug Information in LLVM to Recover Optimized-out Function Parameters Nikola Prica (RT-RK), Djordje Todorovic (RT-RK), Ananthakrishna Sowda (CISCO), Ivan Baev (CISCO)
• LLVM IR in GraalVM: Multi-Level, Polyglot Debugging with Sulong Jacob Kreindl (Johannes Kepler University Linz)
• LLDB Reproducers Jonas Devlieghere (Apple)
• Sulong: An experience report of using the "other end" of LLVM in GraalVM. Roland Schatz (Oracle Labs), Josef Eisl (Oracle Labs)
• SYCL compiler: zero-cost abstraction and type safety for heterogeneous computing Andrew Savonichev (Intel)
• Handling all Facebook requests with JITed C++ code Huapeng Zhou (Facebook), Yuhan Guo (Facebook)
• clang-scan-deps: Fast dependency scanning for explicit modules Alex Lorenz (Apple), Michael Spencer (Apple)
• Clang tools for implementing cryptographic protocols like OTRv4 Sofia Celi (Centro de Autonomia Digital)
• Implementing the C++ Core Guidelines'; Lifetime Safety Profile in Clang Gabor Horvath (Eotvos Lorand University), Matthias Gehre (Silexica GmbH), Herb Sutter (Microsoft)
• Changes to the C++ standard library for C++20 Marshall Clow (CppAlliance)
• Adventures with RISC-V Vectors and LLVM Robin Kruppe (TU Darmstadt), Roger Espasa (Esperanto Technologies)
• A Tale of Two ABIs: ILP32 on AArch64 Tim Northover (Apple)
• LLVM Numerics Improvements Michael Berg (Apple), Steve Canon (Apple)
• DOE Proxy Apps: Compiler Performance Analysis and Optimistic Annotation Exploration Brian Homerding (Argonne National Laboratory), Johannes Doerfert (Argonne National Laboratory)
• Loop Fusion, Loop Distribution and their Place in the Loop Optimization Pipeline Kit Barton (IBM), Johannes Doerfert (Argonne National Lab), Hal Finkel (Argonne National Lab), Michael Kruse (Argonne National Lab)

• Tutorial: Building a Compiler with MLIR Amini Mehdi (Google), Jacques Pienaar (Google), Nicolas Vasilache (Google)
• Building an LLVM-based tool: lessons learned Alex Denisov
• LLVM IR Tutorial - Phis, GEPs and other things, oh my! Vince Bridgers (Intel Corporation), Felipe de Azevedo Piovezan (Intel Corporation)

• Safely Optimizing Casts between Pointers and Integers Juneyoung Lee (Seoul National University, Korea), Chung-Kil Hur (Seoul National University, Korea), Ralf Jung (MPI-SWS, Germany), Zhengyang Liu (University of Utah, USA), John Regehr (University of Utah, USA), Nuno P. Lopes (Microsoft Research, UK)
• An alternative OpenMP Backend for Polly Michael Halkenhäuser (TU Darmstadt)
• Implementing SPMD control flow in LLVM using reconverging CFGs Fabian Wahlster (Technische Universität München), Nicolai Hähnle (Advanced Micro Devices)
• Function Merging by Sequence Alignment Rodrigo Rocha (University of Edinburgh), Pavlos Petoumenos (University of Edinburgh), Zheng Wang (Lancaster University), Murray Cole (University of Edinburgh), Hugh Leather (University of Edinburgh)
• Compilation and optimization with security annotations Son Tuan Vu (LIP6), Karine Heydemann (LIP6), Arnaud de Grandmaison (ARM), Albert Cohen (Google)
• Adding support for C++ contracts to Clang Javier López-Gómez (University Carlos III of Madrid), J. Daniel García (University Carlos III of Madrid)

• LLVM IR Timing Predictions: Fast Explorations via lli Alessandro Cornaglia (FZI - Research Center for Information Technology)
• Simple Outer-Loop-Vectorization == LoopUnroll-And-Jam + SLP Dibyendu Das (AMD)
• Clacc 2019: An Update on OpenACC Support for Clang and LLVM Joel E. Denny (Oak Ridge National Laboratory), Seyong Lee (Oak Ridge National Laboratory), Jeffrey S. Vetter (Oak Ridge National Laboratory)
• Targeting a statically compiled program repository with LLVM Phil Camp (SN Systems (Sony Interactive Entertainment)), Russell Gallop (SN Systems (Sony Interactive Entertainment))
• Does the win32 clang compiler executable really need to be over 21MB in size? Russell Gallop (SN Systems), Greg Bedwell (SN Systems)
• Resolving the almost decade old checker dependency issue in the Clang Static Analyzer Kristóf Umann (Ericsson Hungary, Eötvös Loránd University)
• Adopting LLVM Binary Utilities in Toolchains Jordan Rupprecht (Google)
• Multiplication and Division in the Range-Based Constraint Manager Ádám Balogh (Ericsson Hungary Ltd.)
• Statistics Based Checkers in the Clang Static Analyzer Ádám Balogh (Ericsson Hungary Ltd.)
• Flang Update Steve Scalpone (NVIDA / PGI / Flang)
• Swinging Modulo Scheduling together with Register Allocation Lama Saba (Intel)
• LLVM for the Apollo Guidance Computer Lewis Revill (University of Bath)
• Catch dangling inner pointers with the Clang Static Analyzer Réka Kovács (Eötvös Loränd University)
• Cross translation unit test case reduction Réka Kovács (Eötvös Loränd University)

• RFC: Towards Vector Predication in LLVM IR Simon Moll (Saarland University), Sebastian Hack (Saarland University)
• IPO --- Where are we, where do we want to go? Johannes Doerfert (Argonne National Laboratory), Kit Barton (IBM Toronto Lab)
• LLVM binutils James Henderson (SN Systems (Sony Interactive Entertainment)), Jordan Rupprecht (Google)
• RFC: Reference OpenCL Runtime library for LLVM Andrew Savonichev (Intel), Alexey Sachkov (Intel)
• LLVM Interface Stability Guarantees BoF Stephen Kelly
• Clang Static Analyzer BoF Devin Coughlin (Apple), Gabor Horvath (Eotvos Lorand University)
• LLVM Numerics Improvements Michael Berg (Apple), Steve Canon (Apple)

• Clava: C/C++ source-to-source from CMake using LARA João Bispo (FEUP/INESCTEC)
• Safely Optimizing Casts between Pointers and Integers Juneyoung Lee (Seoul National University, Korea), Chung-Kil Hur (Seoul National University, Korea), Ralf Jung (MPI-SWS, Germany), Zhengyang Liu (University of Utah, USA), John Regehr (University of Utah, USA), Nuno P. Lopes (Microsoft Research, UK)
• Scalar Evolution Canon: Click! Canonicalize SCEV and validate it by Z3 SMT solver! Lin-Ya Yu (Xilinx), Alexandre Isoard (Xilinx)
• Splendid GVN: Partial Redundancy Elimination for Algebraic Simplification Li-An Her (National Tsing Hua University), Jenq-Kuen Lee (National Tsing Hua University)
• An alternative OpenMP Backend for Polly Michael Halkenhäuser (TU Darmstadt)
• Does the win32 clang compiler executable really need to be over 21MB in size? Russell Gallop (SN Systems), G Bedwell (SN Systems)
• Enabling Multi- and Cross-Language Verification with LLVM Zvonimir Rakamaric (University of Utah)
• Instruction Tracing and dynamic codegen analysis to identify unique llvm performance issues. Biplob (IBM)
• Handling all Facebook requests with JITed C++ code Huapeng Zhou (Facebook), Yuhan Guo (Facebook)
• Implementing SPMD control flow in LLVM using reconverging CFGs Fabian Wahlster (Technische Universität München), Nicolai Hähnle (Advanced Micro Devices)
• LLVM for the Apollo Guidance Computer Lewis Revill (University of Bath)
• LLVM Miner: Text Analytics based Static Knowledge Extractor Hameeza Ahmed (NED University of Engineering and Technology), Muhammad Ali Ismail (NED University of Engineering and Technology)
• Function Merging by Sequence Alignment Rodrigo Rocha (University of Edinburgh), Pavlos Petoumenos (University of Edinburgh), Zheng Wang (Lancaster University), Murray Cole (University of Edinburgh), Hugh Leather (University of Edinburgh)
• Compilation and optimization with security annotations Son Tuan Vu (LIP6), Karine Heydemann (LIP6), Arnaud de Grandmaison (ARM), Albert Cohen (Google)
• Cross translation unit test case reduction Réka Kovács (Eötvös Loränd University)
• Leveraging Polyhedral Compilation in Chapel Compiler Sahil Yerawar (IIT Hyderabad), Siddharth Bhat (IIIT Hyderabad), Michael Ferguson (Cray Inc.), Philip Pfaffe (Karlsruhe Institute of Technology), Ramakrishna Upadrasta (IIT Hyderabad)
• LLVM on AVR - textual IR as a powerful tool for making "impossible" compilers Carl Peto (Swift for Arduino/Petosoft)
• Vectorizing Add/Sub Expressions with SLP Vasileios Porpodas (Intel Corporation, USA), Rodrigo C. O. Rocha (University of Edinburgh, UK), Evgueni Brevnov (Intel Corporation, USA), Luís F. W. Góes (PUC Minas, Brazil), Timothy Mattson (Intel Corporation, USA)
• Adding support for C++ contracts to Clang Javier López-Gómez (University Carlos III of Madrid), J. Daniel García (University Carlos III of Madrid)
• Optimizing Nondeterminacy: Exploiting Race Conditions in Parallel Programs William S. Moses (MIT CSAIL)