I'm a compiler engineer focused on LLVM middle-end optimizations, currently employed at Tenstorrent, and based in London. I previously worked at Codasip and Imagination Technologies. My compiler engineering career started with improving the MATLAB/Simulink compiler at MathWorks, in Massachusetts. A significant portion of my work is part of LLVM, and I enjoy being part of the community. The desire to be part of an open source community started at the Indian Institute of Technology Kharagpur, my undergraduate school, where I participated in two Summer of Code projects with Git: in the first, I authored Subversion's svnrdump, which facilitates importing/exporting history from a remote SVN server, and in the second, I authored the Git's sequencer, which enables git cherry-pick to resume after conflicts. The interest in compilers was due to a coursework project at Columbia University in New York, where I did my Masters.
I took a career break between my compiler engineering in the US and that in the UK, in Paris, where I fully developed a latent interest in formalized mathematics and logic, and began a line of research with a collaborator. I continue working with the research group as a hobby over weekends.
Career wise, I'm always open to talk about opportunities that will let me continue being an active part of the LLVM community. A more formal resume is also available.
Talks and Publications
-
The very dependent recursive structure of iterated parametricity in indexed form with Hugo Herbelin.
February 2026, Pre-print: arXiv:2602.12689. -
A parametricity-based formalization of semi-simplicial and semi-cubical sets with Hugo Herbelin.
June 2025, Published: Mathematical Structures in Computer Science. Pre-print: arXiv:2401.00512. -
Making LoopAccessAnalysis more precise.
April 2025, EuroLLVM '25: Video. -
Operads in derived deformation theory with Ricardo Campos.
November 2022, Unpublished: arXiv:2211.09652.
Contact
The preferred way to reach Ram is by email: r [@] artagnon.com.
Colophon
The site is generated using clayoven, and uses MathJaX to render TeX-like math. An RSS feed is also available.