Allon Adir

Person

Allon Adir is a computer science researcher associated with IBM Research Laboratory in Haifa. His documented work focuses on test program generation, multiprocessor verification, shared-memory languages, and distributed programming, including coauthorship of the Genesys-Pro work on functional processor verification.

First seen 5/24/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v2

WIKI

Allon Adir

Allon Adir is a research staff member at the IBM Research Laboratory in Haifa. His research interests include test program generation, multiprocessor verification, languages for shared memory, and distributed programming.

Education

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification ← authored by 100% 1e

The paper is authored by Allon Adir among others

CITATIONS

6 sources

6 citations — click to expand

[1] Allon Adir is a research staff member at the IBM Research Laboratory in Haifa. Genesys-pro: innovations in test program generation for functional ...

[2] Adir's research interests include test program generation, multiprocessor verification, languages for shared memory, and distributed programming. Genesys-pro: innovations in test program generation for functional ...

[3] Adir has a BS and an MS in computer science from the Technion, Israel Institute of Technology. Genesys-pro: innovations in test program generation for functional ...

[4] Allon Adir coauthored “Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification” with other IBM Research Lab, Haifa researchers. Genesys-pro: innovations in test program generation for functional ...

[5] Genesys-Pro is described as a second-generation model-based test program generation tool with a more expressive test-template language and more constraint-solving processing power than Genesys. Genesys-pro: innovations in test program generation for functional ...

[6] The source lists Adir-associated HLDVT publications: “Improving Test Quality through Resource Reallocation” and “Generating Concurrent Test-Programs with Collisions for Multi-Processor Verification.” Genesys-pro: innovations in test program generation for functional ...