Daniel Nezamabadi

Orcid: 0009-0006-8590-435X

According to our database¹, Daniel Nezamabadi authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Verified VCG and Verified Compiler for Dafny.

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Baking for Dafny: A CakeML Backend for Dafny.

[DOI]

CoRR, January, 2025