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

Alon Mishne

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

TopicWeightPapersLastEvidence papers
Software maintenance and evolution
code search
0.112012
Typestate-based semantic code search over partial programs · OOPSLA 2012
Software maintenance and evolution › code search
semantic code search
0.112012
Typestate-based semantic code search over partial programs · OOPSLA 2012
Program analysis
static analysis
0.112012
Typestate-based semantic code search over partial programs · OOPSLA 2012
Program analysis › type-based analysis
typestate analysis
0.112012
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
YearPublicationVenuePosition
2012 Typestate-based semantic code search over partial programs
abstract
We 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
OOPSLA1