VLDB 2026 Research / reviewers in the wild / expert
Jackson Maddox
dblp:228/5740
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2018
—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 |
Programming languages and type systems · 44% Empirical software engineering · 44% Program analysis · 13% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Empirical software engineering
mining software repositories |
0.3 | 1 | 2018 | Large-scale study of substitutability in the presence of effects · ESEC/SIGSOFT FSE 2018 |
Program analysis
effect analysis |
0.1 | 1 | 2018 | Large-scale study of substitutability in the presence of effects · ESEC/SIGSOFT FSE 2018 |
Methods — techniques the papers use, named apart from their topics
large-scale static analysis · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Large-scale study of substitutability in the presence of effectsabstractA majority of modern software is constructed using languages that compute by producing side-effects such as reading/writing from/to files, throwing exceptions, acquiring locks, etc. To understand a piece of software, e.g. a class, it is important for a developer to understand its side-effects. Similarly, to replace a class with another, it is important to understand whether the replacement is a safe substitution for the former in terms of its behavior, a property known as substitutability, because mismatch may lead to bugs. The problem is especially severe for superclass-subclass pairs since at runtime an instance of the subclass may be used in the client code where a superclass is mentioned. Despite the importance of this property, we do not yet know whether substitutability w.r.t. effects between subclass and superclass is preserved in the wild, and if not what sorts of substitutability violations are common and what is the impact of such violations. This paper conducts a large scale study on over 20 million Java classes, in order to compare the effects of the methods of subclasses and superclasses in practice. Our comprehensive study considers the exception, synchronization, I/O, and method call effects. It reveals that in pairs with effects, only 8-24% have the same effects, and 31-56% of submethods have more effects, and the effects of a large percentage of submethods cannot be inferred from the supermethod. Jackson Maddox, Yuheng Long, Hridesh Rajan |
ESEC/SIGSOFT FSE | 1 |