Demo Data from EDBT 2026 / reviewers in the wild / expert
Barukh Ziv
dblp:70/3455
· DBLP profile ↗
2ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 1Theory of computation · 1
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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Hardware accelerators and domain-specific architectures · 77% High-performance computing · 23% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 3 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware accelerators and domain-specific architectures
machine learning accelerator |
0.5 | 1 | 2021 | Tensor processing primitives: a programming abstraction for efficiency and portability in deep learning workloads · SC 2021 |
Automated reasoning and model checking
falsification |
0.0 | 1 | 2000 | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification · CAV 2000 |
Automated reasoning and model checking
reachability |
0.0 | 1 | 2000 | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification · CAV 2000 |
Methods — techniques the papers use, named apart from their topics
tensor ISA · 1.0platform-specific optimization · 1.0state-space traversal · 0.0reachability analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Tensor processing primitives: a programming abstraction for efficiency and portability in deep learning workloadsabstractDuring the past decade, novel Deep Learning (DL) algorithms, workloads and hardware have been developed to tackle a wide range of problems. Despite the advances in workload and hardware ecosystems, the programming methodology of DL systems is stagnant. DL workloads leverage either highly-optimized, yet platform-specific and inflexible kernels from DL libraries, or in the case of novel operators, reference implementations are built via DL framework primitives with underwhelming performance. This work introduces the Tensor Processing Primitives (TPP), a programming abstraction striving for efficient, portable implementation of DL workloads with high-productivity. TPPs define a compact, yet versatile set of 2D-tensor operators (or a virtual Tensor ISA), which subsequently can be utilized as building-blocks to construct complex operators on high-dimensional tensors. The TPP specification is platform-agnostic, thus code expressed via TPPs is portable, whereas the TPP implementation is highly-optimized and platform-specific. We demonstrate the efficacy and viability of our approach using standalone kernels and end-to-end DL & HPC workloads expressed entirely via TPPs that outperform state-of-the-art implementations on multiple platforms. Evangelos Georganas, Dhiraj D. Kalamkar, Sasikanth Avancha, Menachem Adelman, Cristina Anderson, Alexander Breuer, Jeremy Bruestle, Narendra Chaudhary, Abhisek Kundu, Denise Kutnick, Frank Laub, Md. Vasimuddin, Sanchit Misra, Ramanarayan Mohanty, Hans Pabst, Barukh Ziv, Alexander Heinecke |
SC | 16 |
| 2000 | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix |
CAV | 3 |