Demo Data from EDBT 2026 / reviewers in the wild / expert
Elazar Gershuni
dblp:242/4503
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 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.
| Theoretical computer science
1 paper |
Mathematical optimization · 100% | |
| Artificial intelligence
1 paper |
Efficient and distributed learning · 77% Transfer learning and domain adaptation · 23% | |
| Network and information security
1 paper |
Systems and software security · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Efficient and distributed learning
subset selection |
0.9 | 1 | 2025 | A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025 |
Mathematical optimization › continuous optimization › convex optimization › first-order methods
mirror descent |
0.9 | 1 | 2025 | A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025 |
Mathematical optimization
stochastic optimization |
0.9 | 1 | 2025 | A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025 |
Systems and software security › operating system security
kernel security |
0.4 | 1 | 2019 | Simple and precise static analysis of untrusted Linux kernel extensions · PLDI 2019 |
Program analysis
static analysis |
0.4 | 1 | 2019 | Simple and precise static analysis of untrusted Linux kernel extensions · PLDI 2019 |
Machine learning › Transfer learning and domain adaptation › parameter-efficient transfer learning
layer selection |
0.3 | 1 | 2025 | A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025 |
Methods — techniques the papers use, named apart from their topics
stochastic mirror descent · 1.7stochastic gradient estimation · 1.7abstract interpretation · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Stochastic Approach to the Subset Selection Problem via Mirror DescentabstractThe subset selection problem is fundamental in machine learning and other fields of computer science.
We introduce a stochastic formulation for the minimum cost subset selection problem in a black box setting, in which only the subset metric value is available.
Subsequently, we can handle two-stage schemes, with an outer subset-selection component and an inner subset cost evaluation component. We propose formulating the subset selection problem in a stochastic manner by choosing subsets at random from a distribution whose parameters are learned. Two stochastic formulations are proposed.
The first explicitly restricts the subset's cardinality, and the second yields the desired cardinality in expectation.
The distribution is parameterized by a decision variable, which we optimize using Stochastic Mirror Descent.
Our choice of distributions yields constructive closed-form unbiased stochastic gradient formulas and convergence guarantees, including a rate with favorable dependency on the problem parameters.
Empirical evaluation of selecting a subset of layers in transfer learning complements our theoretical findings and demonstrates the potential benefits of our approach. Dan Greenstein, Elazar Gershuni, Ilan Ben-Bassat, Yaroslav Fyodorov, Ran Moshe, Fiana Raiber, Alex Shtoff, Oren Somekh, Nadav Hallak |
ICLR | 2 |
| 2019 | Simple and precise static analysis of untrusted Linux kernel extensionsabstractExtended Berkeley Packet Filter (eBPF) is a Linux subsystem that allows safely executing untrusted user-defined extensions inside the kernel. It relies on static analysis to protect the kernel against buggy and malicious extensions. As the eBPF ecosystem evolves to support more complex and diverse extensions, the limitations of its current verifier, including high rate of false positives, poor scalability, and lack of support for loops, have become a major barrier for developers. Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Shmuel Sagiv |
PLDI | 1 |