Alon Titelman

According to our database, Alon Titelman authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Proof-Producing Compiler for Blockchain Applications.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

A verified algebraic representation of cairo program execution.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022