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

Elazar Gershuni

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

TopicWeightPapersLastEvidence papers
Machine learning › Efficient and distributed learning
subset selection
0.912025
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.912025
A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025
Mathematical optimization
stochastic optimization
0.912025
A Stochastic Approach to the Subset Selection Problem via Mirror Descent · ICLR 2025
Systems and software security › operating system security
kernel security
0.412019
Simple and precise static analysis of untrusted Linux kernel extensions · PLDI 2019
Program analysis
static analysis
0.412019
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.312025
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
YearPublicationVenuePosition
2025 A Stochastic Approach to the Subset Selection Problem via Mirror Descent
abstract
The 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
ICLR2
2019 Simple and precise static analysis of untrusted Linux kernel extensions
abstract
Extended 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
PLDI1