I. Gordin

According to our database, I. Gordin authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Validating the Translation of an Industrial Optimizing Compiler.

I. Gordin, Raya Leviathan, Amir Pnueli

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004