Demo Data from EDBT 2026 / reviewers in the wild / expert
Aharon Abadi
dblp:52/3176
· DBLP profile ↗
6ranked-venue papers
6as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-authorArtificial intelligence and machine learning · 2 · 2 first-authorTheory of computation · 2 · 2 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 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
1 paper |
Program analysis · 77% Software maintenance and evolution · 23% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis
program slicing |
0.1 | 1 | 2009 | Improving slice accuracy by compression of data and control flow paths · ESEC/SIGSOFT FSE 2009 |
Software maintenance and evolution
program comprehension |
0.0 | 1 | 2009 | Improving slice accuracy by compression of data and control flow paths · ESEC/SIGSOFT FSE 2009 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Holistic disaster recovery approach for big data NoSQL workloadsabstractIn recent years, NoSQL databases have emerged as an answer to Internet scale datasets. However, these solutions do not support out of the box the necessary backup, restore and disaster recovery capabilities required by many big data scenarios. In this paper we address this gap: we present a novel disaster recovery approach designed for big data NoSQL workloads. This approach can support low recovery point and time objectives at low costs. Our approach is highly scalable and elastic, based on open source components and suitable for any document-based NoSQL solution, which makes it highly attractive for diverse big data workloads. Aharon Abadi, Ashraf Haib, Roie Melamed, Alaa Nassar, Aidan Shribman, Hisham Yasin |
IEEE BigData | 1 |
| 2014 | A Parallel On-Demand Algorithm for Computing Interprocedural DominatorsabstractWe present a new algorithm for computing interprocedural dominators. The algorithm identifies a set of special nodes, which are the only ones that can have interprocedural dominance edges, and extends the intraprocedural dominator trees by deriving those edges. The computation of the dominators of each node is independent of the computation of any other node, and therefore can be done on demand for each node as required. For the same reason, the algorithm lends itself naturally to parallelization. The algorithm has been implemented, and is shown to be practical for large programs. Because of its cooperative caching behavior, the algorithm gains a large performance boost when running on parallel hardware. We also present an efficient way of extending the algorithm for computing interprocedural dominance frontiers and control dependence. Aharon Abadi, Yishai A. Feldman |
SCAM | 1 |
| 2012 | Fine Slicing - Theory and Applications for Computation Extraction
Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
FASE | 1 |
| 2010 | Decidable fragments of many-sorted logic
Aharon Abadi, Alexander Moshe Rabinovich, Shmuel Sagiv |
J. Symb. Comput. | 1 |
| 2009 | Improving slice accuracy by compression of data and control flow pathsabstractProgram slicing is a useful technique in tools for program understanding and transformation. Computing correct and accurate slices for unstructured programs is particularly difficult. We present a new family of slicing algorithms that are proved correct and are more accurate than the best previous algorithms. An empirical study shows significant improvements of our algorithms on real code. Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
ESEC/SIGSOFT FSE | 1 |
| 2007 | Decidable Fragments of Many-Sorted Logic
Aharon Abadi, Alexander Moshe Rabinovich, Shmuel Sagiv |
LPAR | 1 |