Ram is a compiler engineer and formal methods researcher.
A résumé is available on request.
Talks and Publications
-
Making LoopAccessAnalysis more precise.
April 2025, EuroLLVM '25. Video. -
A parametricity-based formalization of semi-simplicial and semi-cubical sets with Hugo Herbelin.
To appear in Mathematical Structures in Computer Science. arXiv:2401.00512. -
Operads in derived deformation theory with Ricardo Campos.
November 2022, Unpublished manuscript. arXiv:2211.09652. -
From iterated parametricity to indexed semi-cubical and semi-simplicial sets: a formal construction with Hugo Herbelin.
June 2022, TYPES '22.
Contact
The preferred way to reach the author is by email: r [@] artagnon.com.