Demo Data from EDBT 2026 / reviewers in the wild / expert
Ishai Rabinovitz
dblp:71/5241
· DBLP profile ↗
5ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2Software engineering, systems software and programming languages · 2 · 1 first-authorTheory of computation · 2 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Concurrent programming · 56% Program analysis · 44% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
concurrency bug detection |
0.1 | 1 | 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005 |
Program analysis
dynamic analysis |
0.1 | 1 | 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods · CAV 2005 |
Automated reasoning and model checking › model checking
bounded model checking |
0.1 | 1 | 2005 | Bounded Model Checking of Concurrent Programs · CAV 2005 |
Automated reasoning and model checking
model checking |
0.1 | 1 | 2005 | Bounded Model Checking of Concurrent Programs · CAV 2005 |
Concurrent programming
concurrency verification |
0.0 | 1 | 2005 | Bounded Model Checking of Concurrent Programs · CAV 2005 |
Methods — techniques the papers use, named apart from their topics
bounded model checking · 0.1formal methods · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Cheetah: A Framework for Scalable Hierarchical Collective OperationsabstractCollective communication operations, used by many scientific applications, tend to limit overall parallel application performance and scalability. Computer systems are becoming more heterogeneous with increasing node and core-per-node counts. Also, a growing number of data-access mechanisms, of varying characteristics, are supported within a single computer system. We describe a new hierarchical collective communication framework that takes advantage of hardware-specific data-access mechanisms. It is flexible, with run-time hierarchy specification, and sharing of collective communication primitives between collective algorithms. Data buffers are shared between levels in the hierarchy reducing collective communication management overhead. We have implemented several versions of the Message Passing Interface (MPI) collective operations, MPI Barrier() and MPI Bcast(), and run experiments using up to 49, 152 processes on a Cray XT5, and a small InfiniBand based cluster. At 49, 152 processes our barrier implementation outperforms the optimized native implementation by 75%. 32 Byte and one Mega-Byte broadcasts outperform it by 62% and 11%, respectively, with better scalability characteristics. Improvements relative to the default Open MPI implementation are much larger. Richard L. Graham, Manjunath Gorentla Venkata, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer |
CCGRID | 5 |
| 2010 | ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective OperationsabstractThis paper introduces the newly developed Infini-Band (IB) Management Queue capability, used by the Host Channel Adapter (HCA) to manage network task data flow dependancies, and progress the communications associated with such flows. These tasks include sends, receives, and the newly supported wait task, and are scheduled by the HCA based on a data dependency description provided by the user. This functionality is supported by the ConnectX-2 HCA, and provides the means for delegating collective communication management and progress to the HCA, also known as collective communication offload. This provides a means for overlapping collective communications managed by the HCA and computation on the Central Processing Unit (CPU), thus making it possible to reduce the impact of system noise on parallel applications using collective operations. This paper further describes how this new capability can be used to implement scalable Message Passing Interface (MPI) collective operations, describing the high level details of how this new capability is used to implement the MPI_Barrier collective operation, focusing on the latency sensitive performance aspects of this new capability. This paper concludes with small scale benchmark experiments comparing implementations of the barrier collective operation, using the new network offload capabilities, with established point-to-point based implementations of these same algorithms, which manage the data flow using the central processing unit. These early results demonstrate the promise this new capability provides to improve the scalability of high-performance applications using collective communications. The latency of the HCA based implementation of the barrier is similar to that of the best performing point-to-point based implementation managed by the central processing unit, starting to outperform these as the number of processes involved in the collective operation increases. Richard L. Graham, Stephen W. Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer |
CCGRID | 9 |
| 2010 | Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-Direct Capabilities
Ishai Rabinovitz, Pavel Shamis, Richard L. Graham, Noam Bloch, Gilad Shainer |
EuroMPI | 1 |
| 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz |
CAV | 3 |
| 2005 | Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg |
CAV | 1 |