EDBT 2026 Demo / reviewers in the wild / expert
Donna Malayeri
dblp:35/5662
· DBLP profile ↗
3ranked-venue papers
3as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 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 · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › type checking
modular typechecking |
0.1 | 1 | 2009 | CZ: multiple inheritance without diamonds · OOPSLA 2009 |
Programming languages and type systems › object-oriented programming
multiple inheritance |
0.1 | 1 | 2009 | CZ: multiple inheritance without diamonds · OOPSLA 2009 |
Programming languages and type systems
type systems |
0.1 | 1 | 2009 | CZ: multiple inheritance without diamonds · OOPSLA 2009 |
Programming languages and type systems › method dispatch
multiple dispatch |
0.0 | 1 | 2009 | CZ: multiple inheritance without diamonds · OOPSLA 2009 |
Methods — techniques the papers use, named apart from their topics
formal model · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | Is Structural Subtyping Useful? An Empirical Study
Donna Malayeri, Jonathan Aldrich |
ESOP | 1 |
| 2009 | CZ: multiple inheritance without diamondsabstractMultiple inheritance has long been plagued with the "diamond" inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we address the diamond problem directly, considering two difficulties it causes: ensuring a correct semantics for object initializers, and typechecking multiple dispatch in a modular fashion-the latter problem arising even with multiple interface inheritance. We show that previous solutions to these problems are either unsatisfactory or cumbersome, and suggest a novel approach: supporting multiple inheritance but forbidding diamond inheritance. Expressiveness is retained through two features: a "requires" construct that provides a form of subtyping without inheritance (inspired by Scala), and a dynamically-dispatched "super" call similar to that found in traits. Through examples, we illustrate that inheritance diamonds can be eliminated via a combination of "requires" and ordinary inheritance. We provide a sound formal model for our language and demonstrate its modularity and expressiveness. Donna Malayeri, Jonathan Aldrich |
OOPSLA | 1 |
| 2008 | Integrating Nominal and Structural Subtyping
Donna Malayeri, Jonathan Aldrich |
ECOOP | 1 |