| |
| 2004 | ||
|---|---|---|
| 2 | EE | I. Gordin, Raya Leviathan, Amir Pnueli: Validating the Translation of an Industrial Optimizing Compiler. ATVA 2004: 230-247 |
| 2002 | ||
| 1 | EE | Raya Leviathan, Amir Pnueli: Validating software pipelining optimizations. CASES 2002: 280-287 |
| 1 | I. Gordin | [2] |
| 2 | Amir Pnueli | [1] [2] |