Ishai Rabinovitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CCGRID | Cheetah: A Framework for Scalable Hierarchical Collective Operations. | Richard L. Graham, Manjunath Gorentla Venkata, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer |
| 2010 | CCGRID | ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations. | Richard L. Graham, Steve Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer |
| 2006 | ISSTA | Formal verification of concurrent software: two case studies. | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |
| 2005 | CAV | Wolf - Bug Hunter for Concurrent Software Using Formal Methods. | Sharon Barner, Ziv Glazberg, Ishai Rabinovitz |
| 2005 | CAV | Bounded Model Checking of Concurrent Programs. | Ishai Rabinovitz, Orna Grumberg |