Henrich Lauko
Senior Compiler Engineer at LLVM Foundation
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolHenrich Lauko is a Senior Compiler Engineer with a decade of experience building and researching compiler infrastructures, currently shaping MLIR and toolchain work at NextSilicon and as a ClangIR maintainer for the LLVM Project. He combines deep academic grounding from Masaryk University with practical leadership driving MLIR-based program representations, points-to and dataflow analysis, and direct Clang frontend derivations. Previously he led compiler-focused teams at Trail of Bits, where he architected the "Tower of IRs" concept and ran research programs funded by DARPA and ARPA-H. An active C++ standards committee member, Henrich brings rare expertise at the intersection of standards, security, and compiler internals—evident in his LLVM contributions to CallOpInterface customization, variadic call handling, and linkage alignment.
10 years of coding experience
8 years of employment as a software developer
Master's degree, Parallel and distributed systems, A, Master's degree, Parallel and distributed systems, A at Masaryk University BrnoEPITA: Ecole d'Ingénieurs en InformatiqueExchange student, Exchange student at RWTH Aachen UniversityRegular/General High School/Secondary Diploma Program, Regular/General High School/Secondary Diploma Program at Gymnazium Ladislava Novomeskeho
Slovak, Czech, German, English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
compiler-design10
c-language10
cprogramming-language10
mlr10
llvm10
dataflow9
Programming languages (12)
Github contributions (5)
llvm/llvm-project
Apr 2019 - Apr 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:53 reviews, 11 PRs, 3 pushes in 6 years
Contributions summary:Henrich primarily focused on modifying the MLIR compiler infrastructure, particularly the `CallOpInterface`. Their contributions include enabling customization of the `resolveCallable` method, enhancing call graph analysis, and improving the handling of function calls with variadic types. The user also worked on aligning the LLVM linkage enum with LLVM's representation and refactored global insertion points during the import process. These changes suggest a strong focus on compiler internals and related analysis tools.
compilerstechnologiesclangsubmittoolchain
trailofbits/circuitous-benchmarks
May 2022 - Oct 2023
Contributions:6 PRs, 28 pushes, 6 branches in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.