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

Milan Stanojevic

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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
object-oriented programming
0.112006
Statically scoped object adaptation with expanders · OOPSLA 2006
Programming languages and type systems › type systems
type soundness
0.112006
Statically scoped object adaptation with expanders · OOPSLA 2006
Programming languages and type systems
type systems
0.112006
Statically scoped object adaptation with expanders · OOPSLA 2006

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

polyglot · 0.1featherweight java · 0.1
YearPublicationVenuePosition
2008 Can You Fool Me? Towards Automatically Checking Protocol Gullibility
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madan Musuvathi
HotNets1
2006 Statically scoped object adaptation with expanders
abstract
This 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
OOPSLA2