Alexis Engelke
alexis DOT engelke ÄŦ inria DOT fr
Inria CORSE
17 Rue des Martyrs; 38054 Grenoble; France
Vita
Alexis Engelke is a post-doctoral researcher in the Compiler Optimizations and Runtime Systems (Corse) group at Inria. He previously was at TUM, where he also earned his PhD (Dr. rer. nat.) in 2021. He conducts research on compiler back-ends, performance analysis, and efficient processing of data on modern hardware architectures. Other research areas include dynamic binary translation and optimization. His general research interests include performance optimization, reverse engineering, and low-level aspects of modern processor architectures in general.
Research Interests
- Fast Compilation
- Efficient Data Processing and Code Generation
- Performance Analysis/Profile-Guided Optimization
- Dynamic Code Generation and Optimization
- Binary Translation and Instrumentation
- New/modern processor architectures
- Low-level aspects of modern processor architectures
- ... and more.
Projects
- TPDE: Fast compiler back-end framework that adapts to existing SSA IRs. (2023–ongoing)
- Includes TPDE-LLVM, a standalone LLVM back-end that compiles 10--20x faster than LLVM -O0 with similar code quality.
- Instrew: High performance binary translation and instrumentation based on LLVM. (2019–ongoing)
- Rellume: Fast lifter of x86-64/AArch64/RISC-V64 machine code to LLVM-IR. (2019–ongoing)
- Fadec (online version): A very fast and small decoder/encoder for x86 and x86-64. (2018–ongoing)
- Disarm (online version): A fast AArch64 decoder/encoder. (2022–ongoing)
- LLVM: occasional contributions, largely related to compile-time performance.
Former projects, no longer active:
- BinOpt: Library for self-guided binary specialization at runtime integrating an LLVM-based rewriter, DBrew, and Drob. (2016–2021)
- HimMUC: Cluster of AArch64-based SoCs for teaching/research. (2017–2022)
- Mandel-QPU: Mandelbrot computation for the Raspberry Pi GPU. (2016)
Teaching
For a list of courses and supervised students, see here.
Publications and Talks
For a list of publications and talks, see here.
Miscellaneous