Ishai Rabinovitz

14 papers A* 2B 2C 1Unranked 9
YearRankTypeTitle / Venue / Authors
2011 B conf
Cheetah: A Framework for Scalable Hierarchical Collective Operations.
CCGRID
Richard L. Graham, Manjunath Gorentla Venkata, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer
2011 — conf
ConnectX-2 CORE-Direct Enabled Asynchronous Broadcast Collective Communications.
IPDPS Workshops
Manjunath Gorentla Venkata, Richard L. Graham, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer
2010 B conf
ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations.
CCGRID
Richard L. Graham, Steve Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer
2010 — conf
Designing high-performance and resilient message passing on InfiniBand.
IPDPS Workshops
Matthew J. Koop, Pavel Shamis, Ishai Rabinovitz, Dhabaleswar K. Panda
2010 C conf
Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-
EuroMPI
Ishai Rabinovitz, Pavel Shamis, Richard L. Graham, Noam Bloch, Gilad Shainer
2010 — conf
Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities.
IPDPS Workshops
Richard L. Graham, Stephen W. Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer
2008 — conf
X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters.
PVM/MPI
Galen M. Shipman, Stephen W. Poole, Pavel Shamis, Ishai Rabinovitz
2006 — conf
Detecting Design Flaws in UML State Charts for Embedded Software.
Haifa Verification Conference
Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia
2006 — conf
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.
Haifa Verification Conference
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
2006 — conf
Formal verification of concurrent software: two case studies.
PADTAD
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
2005 A* conf
Bounded Model Checking of Concurrent Programs.
CAV
Ishai Rabinovitz, Orna Grumberg
2005 — conf
Supporting SAT based BMC on Finite Path Models.
BMC@CAV
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
2005 A* conf
Wolf - Bug Hunter for Concurrent Software Using Formal Methods.
CAV
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
2003 — conf
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.
CHARME
Sharon Barner, Ishai Rabinovitz