David Kreitzer
Principal Engineer at NVIDIA
Bristow, Virginia, United States
Summary
🤩
Rockstar🎓
Top SchoolDavid Kreitzer is a Principal Engineer with nine years in senior roles and over two decades of deep experience designing and optimizing compilers and code generators for x86 architectures. He has led compiler architecture and code-generation teams at Intel—shaping major C/C++/Fortran releases and LLVM-based x86 compilers—and now applies that expertise at NVIDIA. His strengths lie in marrying rigorous floating-point and finite-precision reasoning with practical performance engineering, including hands-on work with Intel AVX-512, Xeon Phi, and inline assembly support. Known for improving compiler stability and register allocation, he blends low-level hardware insight with software engineering discipline to deliver maintainable, high-quality toolchains. A Carnegie Mellon MS graduate with top grades and prior microarchitecture exposure, he brings both academic rigor and production-proven leadership. Colleagues value his focus on long-term maintainability and his knack for evaluating new processor features by prototyping compiler support.
9 years of coding experience
22 years of employment as a software developer
Master of Science (MS), Electrical and Computer Engineering, 4.0 / 4.0, Master of Science (MS), Electrical and Computer Engineering, 4.0 / 4.0 at Carnegie Mellon UniversityBachelor of Science (B.S.), Electrical Engineering, 3.9 / 4.0, Bachelor of Science (B.S.), Electrical Engineering, 3.9 / 4.0 at University of Virginia
Github Skills (15)
assembly10
modular10
haskell9
clang9
toolchain9
swift9
cpp9
browser8
rust8
compiler8
llvm8
python8
ispc7
rust-lang7
go7
Programming languages (2)
Github contributions (3)
HardFour22/hello-world
Oct 2016 - Oct 2016
Contributions:2 PRs, 2 pushes, 3 branches in 1 day
llvm/llvm-project
Apr 2022 - May 2022
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:2 pushes in 3 days
compilerstechnologiesclangsubmittoolchain
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.