Ramkumar Ramachandra
Sr. Staff Compiler Engineer at Tenstorrent
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolRamkumar Ramachandra is a Sr. Staff Compiler Engineer with 17 years’ experience building and optimizing compilers and toolchains, currently based in London. He is an upstream LLVM contributor with deep expertise in ELF, AArch64, loop vectorization, and real-world debugging of tools like llvm-objdump. His open-source work spans formal proof assistants and theorem-proving infrastructure (notably Coq and HoTT), where he has fixed subtle tactic-language bugs, improved testing and build automation, and contributed to Magit for a smoother developer UX. He combines rigorous academic training from Columbia and IIT Kharagpur with hands-on systems engineering across industry roles at Tenstorrent, Codasip, Imagination Technologies and MathWorks. Colleagues rely on him for tackling edge-case compiler correctness and automation gaps that are easy to miss but critical in production toolchains.
17 years of coding experience
5 years of employment as a software developer
Master’s Degree, Computer Engineering, Master’s Degree, Computer Engineering at Columbia UniversityMaster’s Degree, Physics, Master’s Degree, Physics at Indian Institute of Technology, Kharagpur
English, French
Stackoverflow
3,649reputation
402kreached
58answers
13questions
git
top-5%
Github Skills (38)
proof-assistant10
git10
c-language10
debug10
dependent-types10
foundation10
llvm10
foundation-sites10
magit10
formal-verification10
coq10
emacs10
compiler-optimization10
foundation-models10
theorem-proving10
Programming languages (28)
Github contributions (5)
llvm/llvm-project
Mar 2021 - 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:409 reviews, 545 PRs, 226 pushes in 4 years 1 month
Contributions summary:Ramkumar contributed to bug fixes and improvements in the LLVM Project, specifically focusing on the ELF file format, AArch64 architecture, and the Loop Vectorizer optimization passes. Their work involved debugging and resolving crashes in the llvm-objdump tool, handling relocation addends for the AArch64 architecture, and improving loop vectorization in the compiler, particularly in relation to edge-cases with samesign, and analysis of bitwise operations. These contributions demonstrate a strong understanding of compiler internals, binary file formats, and optimization techniques.
compilerstechnologiesclangsubmittoolchain
HoTT/Coq-HoTT
Jan 2020 - Feb 2022
A Coq library for Homotopy Type Theory
Role in this project:Developer
DeveloperContributions:6 reviews, 13 commits, 21 PRs in 2 years 2 months
Contributions summary:Ramkumar primarily contributes to the Coq library for Homotopy Type Theory, with contributions focused on completing exercises from the HoTT book. Their work involves defining and proving theorems related to homotopy type theory concepts. They also refactor existing code and adjust documentation for better code readability and understanding.
dependent-typeshomotopyhomotopy-type-theorytype-theorytheorem-proving
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.