Raya Leviathan

According to our database, Raya Leviathan authored at least 3 papers between 2002 and 2019.

Collaborative distances:

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

2019

WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945-1963)

Leo Corry, Raya Leviathan

Springer, ISBN: 978-3-030-25733-0, 2019

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

2002

Validating software pipelining optimizations.

Raya Leviathan, Amir Pnueli

Proceedings of the International Conference on Compilers, 2002