Jakub Kuderski
Principal Software Developer at AMD
Old Toronto, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolJakub Kuderski is a Principal Software Developer with 12 years of experience specializing in compiler backends, MLIR-based toolchains, and GPU code generation for both data-center and consumer accelerators. He has led cross-functional bringups (notably RDNA4 Day 0) and invented the IREE kernel autotuner that delivered 10–15% speedups on large models like SDXL and Llama, helping competitive MLPerf submissions. A long-time open-source contributor, he’s an active maintainer in LLVM/MLIR, SPIR-V, IREE and SeaHorn, with hands-on fixes from constant-folding to ADT refinements and emulator passes. At AMD and Google he combined technical leadership with deep engineering—driving hardware bringup, performance tuning, and tooling such as offline pipeline compilation and Vulkan performance layers. Based in Toronto, he pairs strong research credentials (MASc, published SeaDsa improvements) with pragmatic DevOps and build-system work that often uncovers subtle cross-toolchain miscompilations.
12 years of coding experience
9 years of employment as a software developer
Bachelor of Science Engineer (BScEng) Computing Science, Bachelor of Science Engineer (BScEng) Computing Science at Poznan University of TechnologyMaster of Applied Science (MASc) ECE (Computer Software), Master of Applied Science (MASc) ECE (Computer Software) at University of Waterloo
English, Polish
Github Skills (33)
algorithm10
spirv10
algorithms10
c-language10
static-analysis10
clang-tidy10
python10
scripting10
llvm10
verification10
data-structure10
code-analysis10
script10
build-automation10
compiler-optimization10
Programming languages (15)
Github contributions (5)
llvm/llvm-project
Oct 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:1473 reviews, 262 PRs, 372 pushes in 5 years 6 months
Contributions summary:Jakub's contributions primarily focused on enhancing the LLVM Project's core libraries. They implemented and refined ADT (Abstract Data Types) functionality, specifically concerning reverse iterators and argument-dependent lookup (ADL). The user also made changes to the Vector dialect, specifically its interleave operation, and contributed to the AMDGPU backend by aligning the Chipset utility with the TargetParser and handling scalar shuffles. Furthermore, they fixed issues within the Arith dialect, specifically the type conversions in the `emulate-wide-int` pass.
compilerstechnologiesclangsubmittoolchain
seahorn/seahorn
Sep 2017 - Apr 2020
SeaHorn Verification Framework
Role in this project:Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:201 commits, 41 PRs, 121 pushes in 2 years 7 months
Contributions summary:Jakub contributed significantly to the SeaHorn Verification Framework by addressing issues in its core functionality and improving the codebase structure. They fixed a bug in how `sassert` interacts with `else` statements and added clang-format to several files, including those related to the buffer bounds checker. Furthermore, they integrated and tested a new Simple Memory Check (SMC) pass into the project.
model-checkingsmtsecurityhorn-clausesabstract-interpretation
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.