Demo Data from VLDB 2026 / reviewers in the wild / expert
Milan Stanojevic
dblp:15/322
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2008
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 1 · 1 first-authorSoftware 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 |
Programming languages and type systems · 91% Compilers and program optimization · 9% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
object-oriented programming |
0.1 | 1 | 2006 | Statically scoped object adaptation with expanders · OOPSLA 2006 |
Programming languages and type systems › type systems
type soundness |
0.1 | 1 | 2006 | Statically scoped object adaptation with expanders · OOPSLA 2006 |
Programming languages and type systems
type systems |
0.1 | 1 | 2006 | Statically scoped object adaptation with expanders · OOPSLA 2006 |
Methods — techniques the papers use, named apart from their topics
polyglot · 0.1featherweight java · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Can You Fool Me? Towards Automatically Checking Protocol Gullibility
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madan Musuvathi |
HotNets | 1 |
| 2006 | Statically scoped object adaptation with expandersabstractThis paper introduces the expander, a new object-oriented (OO) programming language construct designed to support object adaptation. Expanders allow existing classes to be noninvasively updated with new methods, fields, and superinterfaces. Each client can customize its view of a class by explicitly importing any number of expanders. This view then applies to all instances of that class, including objects passed to the client from other components. A form of expander overriding allows expanders to interact naturally with OO-style inheritance.We describe the design, implementation, and evaluation of eJava, an extension to Java supporting expanders. We illustrate eJava's syntax and semantics through several examples. The statically scoped nature of expander usage allows for a modular static type system that prevents several important classes of errors. We describe this modular static type system informally, formalize eJava and its type system in an extension to Featherweight Java, and prove a type soundness theorem for the formalization. We also describe a modular compilation strategy for eJava, which we have implemented using the Polyglot extensible compiler framework. Finally, we illustrate the practical benefits of eJava by using this compiler in two experiments. Alessandro Warth, Milan Stanojevic, Todd D. Millstein |
OOPSLA | 2 |