Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Aharon Abadi

dblp:52/3176 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program analysis › static analysis
program slicing
0.112009
Improving slice accuracy by compression of data and control flow paths · ESEC/SIGSOFT FSE 2009
Software maintenance and evolution
program comprehension
0.012009
Improving slice accuracy by compression of data and control flow paths · ESEC/SIGSOFT FSE 2009
YearPublicationVenuePosition
2016 Holistic disaster recovery approach for big data NoSQL workloads
abstract
In 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 BigData1
2014 A Parallel On-Demand Algorithm for Computing Interprocedural Dominators
abstract
We 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
SCAM1
2012 Fine Slicing - Theory and Applications for Computation Extraction
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
FASE1
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 paths
abstract
Program 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 FSE1
2007 Decidable Fragments of Many-Sorted Logic
Aharon Abadi, Alexander Moshe Rabinovich, Shmuel Sagiv
LPAR1