Ramkumar Ramachandra

arrow
NYarrowBostonarrowChennaiarrowParisarrowLondon

Ram is a compiler engineer and formal methods researcher.

A résumé is available on request.

Talks and Publications

  1. 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.
  2. Making LoopAccessAnalysis more precise.
    April 2025, EuroLLVM '25: Video.
  3. 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.