I’m pleased to announce the 2024 EuroLLVM program!
As a quick reminder, Early Bird Registration is ending February 29th (Happy Leap Year!). This is also the registration deadline to guarantee a t-shirt. Register here:
https://llvm.swoogo.com/2024eurollvm/begin
Keynotes:
Does LLVM implement security hardenings correctly? A BOLT-based static analyzer to the rescue?
Authors: Kristof Beyls (Arm)
Speaker: Kristof Beyls
Efficient Idioms in MLIR
Authors: Mehdi Amini (Nvidia); Jeff Niu (Modular)
Speakers: Mehdi Amini, Jeff Niu
Technical Talks:
Leveraging LLVM Optimizations to Speed up Constraint Solving
Authors: Benjamin Mikek, Qirun Zhang (Georgia Institute of Technology)
Speaker: Benjamin Mikek
Accurate Coverage Metrics for Compiler-Generated Debugging Information
Authors: J. Ryan Stinnett, Stephen Kell (King’s College London)
Speaker: J. Ryan Stinnett
Structured Code Generation From the Ground Up
Authors: Alex Zinenko, Nicolas Vasilache (Google DeepMind)
Speaker: Alex Zinenko
MLIR Vector Distribution
Authors: Kunwar Grover, Jakub Kuderski, Harsh Menon (AMD)
Speakers: Kunwar Grover, Harsh Menon
Mojo debugging: extending MLIR and LLDB
Authors: Walter Erquinigo Pezo, Billy Zhu (Modular)
Speakers: Walter Erquinigo Pezo, Billy Zhu
Faster Compilation with GlobalISel: Skipping LLVM-IR
Authors: Tobias Stadler (Technical University of Munich)
Speaker: Tobias Stadler
Teaching MLIR concepts to undergraduate students
Authors: Mathieu Fehr (The University of Edinburgh); Sasha Lopoukhine, Tobias Grosser (The University of Cambridge)
Speakers: Mathieu Fehr, Sasha Lopoukhine
Revamping Sampling-Based PGO with Context-Sensitivity and Pseudo-Instrumentation
Authors: Wenlei He, Hongtao Yu, Lei Wang, Taowook Oh (Meta)
Speakers: Wenlei He
Computing Bounds of SSA Values in MLIR
Authors: Matthias Springer (Google)
Speaker: Matthias Springer
Contextual Instrumented-Based Profiling for Datacenter Applications
Authors: Mircea Trofin (Google)
Speakers: Mircea Trofin
MLIR Linalg Op Fusion - Theory & Practice
Authors: Javed Absar (Qualcomm, UK); Muthu Baskaran (Qualcomm, US)
Speaker: Javed Absar
Temporal Profiling and Orderfile Optimization for Mobile Apps
Authors: Ellis Hoag (Meta)
Speaker: Ellis Hoag
LLVM-IR-Dataset-Utils - Scalable Tooling for IR Datasets
Authors: Aiden Grossman (UC Davis); Ludger Paehler (Technical University of Munich); Konstantinos Parasyris, Tal Ben-Nun (Lawrence Livermore National Laboratory); Jacob Hegna (University of Minnesota); William S. Moses (University of Illinois Urbana-Champaign); Jose Monsalve-Diaz (Argonne National Laboratory); Mircea Trofin (Google Inc.); Johannes Doerfert (Lawrence Livermore National Laboratory)
Speakers: Aiden Grossman, Ludger Paehler
C++ Modules: Build ‘Em All with CMake and Clang
Authors: Alexy Pellegrini (Kitware SAS)
Speaker: Alexy Pellegrini
Simplifying, Consolidating & Documenting LLDB’s Scripting Functionalities
Authors: Med Ismail Bennani (Apple Inc.)
Speaker: Ismail Bennani
Incremental Symbolic Execution for the Clang Static Analyzer
Authors: Balázs Benics (SonarSource)
Speaker: Balázs Benics
Swift/C++ Interoperability
Authors: Egor Zhdan (Apple)
Speaker: Egor Zhdan
Deep Dive on Interfaces Implementation
Authors: Mehdi Amini (Nvidia)
Speaker: Mehdi Amini
Enable Hardware PGO for both Windows and Linux
Authors: Wei Xiao, Creech Timothy M, Wen Haohai, Krishnaiyer Rakesh (Intel)
Speaker: Wei Xiao
Experiences building a JVM using LLVM ORC JIT
Authors: Markus Böck (TU Wien)
Speaker: Markus Böck
Lifting CFGs to structured control flow in MLIR
Authors: Markus Böck (TU Wien)
Speaker: Markus Böck
Optimizing RISC-V code size: Zcmt and Zcmi extensions
Authors: Milan Nostersky, Pavel Snobl, Gábor Márton (Codasip)
Speaker: Gábor Márton
Efficient Data-Flow Analysis on Region-Based Control Flow in MLIR
Author: Weiwei Chen
Speaker: Weiwei Chen
Quick Talks:
Implementing MIR Pattern Matching & Rewriting for GlobalISel Combiners
Authors: Pierre van Houtryve (AMD)
Speaker 1 - Name: Pierre van Houtryve
Enhancing clang-linker-wrapper to support SYCL/DPC++
Authors: Alexey Sachkov (Intel)
Speaker 1 - Name: Alexey Sachkov
Practical fuzzing for C/C++ compilers
Authors: Oliver Stannard (Arm)
Speaker 1 - Name: Oliver Stannard
Repurposing LLVM analyses in MLIR: Also there and back again across the tower of IRs
Authors: Henrich Lauko (Trail of Bits)
Speaker 1 - Name: Henrich Lauko
Life with Opaque Pointers from a Frontend Perspective
Authors: Sebastian Neubauer (AMD)
Speaker 1 - Name: Sebastian Neubauer
Debug information for macros
Authors: Adrian Prantl (Apple)
Speakers: Adrian Prantl
From C++ ranges to shorter template names: A C++ Debugging journey
Authors: Michael Buch (Apple)
Speakers: Michael Buch
Target-aware vectorization for irregular loops or instruction patterns
Authors: Wei Wei, Chen Mindong, Zhang Tiehu (Huawei)
Speakers: Wei Wei, Mindong Chen
A Wishlist for Faster LLVM Back-ends
Authors: Alexis Engelke (Technical University of Munich)
Speakers: Alexis Engelke
Arcilator for ages five and up: flexible self-contained hardware simulation made easy
Authors: Théo Degioanni (ENS Rennes)
Speakers: Théo Degioanni
Loop Iteration Space Splitting
Authors: Ashutosh Nema, Venkataramanan Kumar, Raghesh Aloor, Anupama Rasale (AMD)
Speakers: Ashutosh Nema
Mitigating lifetime issues for C++20 coroutines
Authors: Utkarsh Saxena (Google)
Speakers: Utkarsh Saxena
Parallelizing applications with indirect memory writes in MLIR
Authors: Pablo Martinez, Hugo Trachino (Huawei)
Speakers: Pablo Antonio Martinez, Hugo Trachino
3 years of experience with the LLVM security group – successes and remaining challenges
Authors: Kristof Beyls (Arm)
Speakers: Kristof Beyls
LLDB: What’s in a Register?
Authors: David Spickett (Arm (assigned to Linaro))
Speakers: David Spickett
Lightning Talks:
Distributing LLVM snapshots: Dogs chasing cars and jumping on them
Authors: Konrad Kleine (Red Hat)
Speakers: Konrad Kleine
Enabling Loop Vectorization for Compressing Store Pattern
Authors: Tejas Joshi, Ashutosh Nema (AMD)
Speakers: Tejas Joshi
Carbon’s high-level semantic IR
Authors: Richard Smith (Google)
Speakers: Richard Smith
The Road to Github Actions: Migrating LLVM’s CI
Authors: Aiden Grossman (UC Davis)
Speakers: Aiden Grossman
Multilib Configuration Files
Authors: Peter Smith (Arm)
Speaker: Peter Smith
Automatic Proxy App Generation through Input Capture and Generation
Authors: Johannes Doerfert (Lawrence Livermore National Laboratory); Ivan Ivanov (Tokyo Institute of Technology / RIKEN CCS)
Speakers: Johannes Doerfert, Ivan R. Ivanov
Automatic Retuning of Floating-Point Precision
Authors: Ivan R. Ivanov (Tokyo Institute of Technology / RIKEN CCS); William S. Moses (University of Illinois Urbana-Champaign)
Speakers: Ivan R. Ivanov, William S. Moses
How we use MLIR to test ReRAM cells
Authors: Maximilian Bartel (RWTH Aachen)
Speaker: Maximilian Bartel
OpenSSF Scorecard - Do we need to improve our security practices?
Authors: Marius Brehler (Fraunhofer IML)
Speaker: Marius Brehler
Tutorial:
Zero to Hero: Programming Nvidia Hopper Tensor Core with MLIR’s NVGPU Dialect
Authors: Guray Ozen (Google)
Speakers: Guray Ozen
Panel:
Carbon: An experiment in different tradeoffs
Authors: Chandler Carruth, Jon Ross-Perkins, Richard Smith (Google)
Speakers: Chandler Carruth, Jon Ross-Perkins, Richard Smith
Student Technical Talks:
Better Performance Models for MLGO Training
Authors: Viraj Shah (Veermata Jijabai Technological Institute, Mumbai)
Speakers: Viraj Shah
Transform-dialect schedules: writing MLIR-lowering pipelines in MLIR
Authors: Rolf Morel (Huawei R&D UK Ltd. & University of Oxford)
Speakers: Rolf Morel
How expensive is it? Big data for ML cost modeling
Authors: Aiden Grossman (UC Davis)
Speakers: Aiden Grossman
Sign Extension Optimizations inside LLVM
Authors: Panagiotis Karouzakis (Computer Science Department, Crete Greece)
Speakers: Panagiotis Karouzakis
Tracing LLVM to understand its bugs
Authors: Bruno MATEU (IMT Atlantique/Quarkslab)
Speakers: Bruno MATEU
Utilizing MLIR and Micro-Kernels to Generate High-Performance FFT Code
Authros: yifei he (KTH Royal Institute of Technology)
Speakers: Yifei He
Posters:
Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation of LLVM Bitcode
Authors: Christoph Pichler (Johannes Kepler University Linz); Paley Li, Roland Schatz (Oracle Labs); Hanspeter Mössenböck (Johannes Kepler University Linz)
Speaker: Christoph Pichler
Dynamic Evolution of Instruction Set Simulators: A Practical Approach with “ALPACA”
Authors: Nicholas Fry (Imperial College London); Fatma Jebali, Caaliph Andriamisaina (CEA)
Speaker: Nicholas Fry
Checking Memory Safety of CUDA Kernels
Authors: Konstantinos Eleftheriou (Computer Science Department, University of Crete)
Speakers: Konstantinos Eleftheriou
PoTATo: Points-to analysis via domain specific MLIR dialect
Authors: Robert Konicar (Trail of Bits)
Speakers: Robert Konicar
IR Around the World: Statistical Analysis of a Massive Multi-Language Corpus of IR
Authors: Khoi Nguyen (UC Berkeley); Andrew Kallai (University of Delaware); Ludger Paehler (Technical University of Munich); Aiden Grossman (UC Davis); Johannes Doerfert (Lawrence Livermore National Laboratory); Sunita Chandrasekaran (University of Delaware)
Speakers: Khoi Nguyen, Andrew Kallai
Solving Phase Ordering with Off-Policy Deep Reinforcement Learning Algorithms
Authors: Elias Chang (University of California, Santa Cruz)
Speakers: Oliver Chang
VAST: MLIR compiler for C/C++
Authors: Henrich Lauko, Lukáš Korenčik (Trail of Bits)
Speaker: Henrich Lauko
Developing an LLVM Backend for VLIW RISC-V Vector Extension Architectures
Authors: Hao-Chun Chang, Jhih-Kuan Lin, Meng-Shiun Yu, Tai-Liang Chen, Jenq-Kuen Lee (National Tsing Hua University)
Speaker: Hao-Chun Chang
I also wanted to send a huge thank you to the EuroLLVM program committee chair, Andrey Bokhanko, and the whole committee for their hard work. The program committee consisted of:
| First | Last |
|---|---|
| Aaron | Smith |
| Alexey | Bataev |
| Alexis | Engelke |
| Anders | Waldenborg |
| Andrey | Bokhanko |
| Bernhard | Rosenkränzer |
| David | Chisnall |
| Diana | Picus |
| Florian | Hahn |
| Guray | Ozen |
| Hans | Wennborg |
| Henrich | Lauko |
| Jakub | Kuderski |
| Kunwar | Grover |
| lorenzo | chelini |
| Marius | Brehler |
| Mehdi | Amini |
| Min-Yih | Hsu |
| Mircea | Trofin |
| Neil | Hickey |
| Paul | Kirth |
| Petr | Hosek |
| Renato | Golin |
| Saheed Olayemi | Bolarinwa |
Lastly, thank you to everyone who submitted a talk proposal!
I look forward to seeing you all at 2024 EuroLLVM!