Michael Fanning

dblp:133/8115 · also Michael C. Fanning · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 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.

Software engineering, system software, and programming languages
1 paper
Program analysis · 91% Programming languages and type systems · 9%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › dynamic language analysis
javascript analysis
0.212013
Practical static analysis of JavaScript applications in the presence of frameworks and libraries · ESEC/SIGSOFT FSE 2013
Program analysis
static analysis
0.212013
Practical static analysis of JavaScript applications in the presence of frameworks and libraries · ESEC/SIGSOFT FSE 2013
Programming languages and type systems › language semantics
dynamic semantics
0.012013
Practical static analysis of JavaScript applications in the presence of frameworks and libraries · ESEC/SIGSOFT FSE 2013

Methods — techniques the papers use, named apart from their topics

stub generation · 0.2static analysis · 0.2
YearPublicationVenuePosition
2013 Practical static analysis of JavaScript applications in the presence of frameworks and libraries
abstract
JavaScript is a language that is widely-used for both web- based and standalone applications such as those in the upcoming Windows 8 operating system. Analysis of JavaScript has long been known to be challenging due to its dynamic nature. On top of that, most JavaScript applications rely on large and complex libraries and frameworks, often written in a combination of JavaScript and native code such as C and C++. Stubs have been commonly employed as a partial specification mechanism to address the library problem; however, they are tedious to write, incomplete, and occasionally incorrect.
Magnus Madsen, Benjamin Livshits, Michael Fanning
ESEC/SIGSOFT FSE3