Demo Data from SIGIR 2026 / reviewers in the wild / expert
Alon Mishne
dblp:120/2066
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software 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.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 40% Software maintenance and evolution · 40% Program synthesis and code generation · 20% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software maintenance and evolution
code search |
0.1 | 1 | 2012 | Typestate-based semantic code search over partial programs · OOPSLA 2012 |
Software maintenance and evolution › code search
semantic code search |
0.1 | 1 | 2012 | Typestate-based semantic code search over partial programs · OOPSLA 2012 |
Program analysis
static analysis |
0.1 | 1 | 2012 | Typestate-based semantic code search over partial programs · OOPSLA 2012 |
Program analysis › type-based analysis
typestate analysis |
0.1 | 1 | 2012 | Typestate-based semantic code search over partial programs · OOPSLA 2012 |
Methods — techniques the papers use, named apart from their topics
typestate analysis · 0.1temporal specification mining · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Typestate-based semantic code search over partial programsabstractWe present a novel code search approach for answering queries focused on API-usage with code showing how the API should be used. To construct a search index, we develop new techniques for statically mining and consolidating temporal API specifications from code snippets. In contrast to existing semantic-based techniques, our approach handles partial programs in the form of code snippets. Handling snippets allows us to consume code from various sources such as parts of open source projects, educational resources (e.g. tutorials), and expert code sites. To handle code snippets, our approach (i) extracts a possibly partial temporal specification from each snippet using a relatively precise static analysis tracking a generalized notion of typestate, and (ii) consolidates the partial temporal specifications, combining consistent partial information to yield consolidated temporal specifications, each of which captures a full(er) usage scenario. Alon Mishne, Sharon Shoham, Eran Yahav |
OOPSLA | 1 |