Ram is a compiler engineer and formal methods researcher.
A résumé is available on request.
Talks and Publications
-
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 the author is by email: r [@] artagnon.com.