Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.
Proceedings of the 22nd Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2007.

@proceedings{OOPSLA-2007,
	address       = "Montreal, Quebec, Canada",
	editor        = "Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.",
	isbn          = "978-1-59593-786-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2007,
}

Contents (39 items)

9 ×#java
9 ×#named
4 ×#performance
3 ×#multi
2 ×#alias
2 ×#aspect-oriented
2 ×#compilation
2 ×#composition
2 ×#design
2 ×#framework

OOPSLA-2007-EkmanH #compilation #jastadd #java

The jastadd extensible java compiler (TE, GH), pp. 1–18.

OOPSLA-2007-HirzelG #developer #interface #java #named

Jeannie: granting java native interface developers their wishes (MH, RG), pp. 19–38.

OOPSLA-2007-TanM #analysis #c #java #named

Ilea: inter-language analysis across java and c (GT, GM), pp. 39–56.

OOPSLA-2007-GeorgesBE #evaluation #java #performance #statistics

Statistically rigorous java performance evaluation (AG, DB, LE), pp. 57–76.

OOPSLA-2007-XianSJ #approach #garbage collection #named #performance

Microphase: an approach to proactively invoking garbage collection for improved performance (FX, WSa, HJ), pp. 77–96.

OOPSLA-2007-BondM #probability

Probabilistic calling context (MDB, KSM), pp. 97–112.

OOPSLA-2007-IgarashiV #scalability

Variant path types for scalable extensibility (AI, MV), pp. 113–132.

OOPSLA-2007-GasiunasMO

Dependent classes (VG, MM, KO), pp. 133–152.

OOPSLA-2007-SasitornC #component #framework #java

Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.

OOPSLA-2007-DucasseWBN

User-changeable visibility: resolving unanticipated name clashes in traits (SD, RW, AB, ON), pp. 171–190.

OOPSLA-2007-SmaragdakisKBY #transaction

Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.

OOPSLA-2007-SpringPGV #java #named #programming

Streamflex: high-throughput stream programming in java (JHS, JP, RG, JV), pp. 211–228.

OOPSLA-2007-KuhneS #multi #programming

Can programming be liberated from the two-level style: multi-level programming with deepjava (TK, DS), pp. 229–244.

OOPSLA-2007-MitchellS #health

The causes of bloat, the limits of health (NM, GS), pp. 245–260.

OOPSLA-2007-DekelH #collaboration #design #object-oriented #representation

Notation and representation in collaborative object-oriented design: an observational study (UD, JDH), pp. 261–280.

OOPSLA-2007-LeffR #domain-specific language #named #relational #visual notation

Webrb: evaluating a visual domain-specific language for building relational web-applications (AL, JTR), pp. 281–300.

OOPSLA-2007-BierhoffA #alias #composition #type system

Modular typestate checking of aliased objects (KB, JA), pp. 301–320.

OOPSLA-2007-GreenfieldboyceF #java

Type qualifier inference for java (DG, JSF), pp. 321–336.

OOPSLA-2007-FahndrichX #invariant

Establishing object invariants with delayed types (MF, SX), pp. 337–350.

OOPSLA-2007-ShanerLN #composition #higher-order #source code #verification

Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.

OOPSLA-2007-Rinard #termination #using

Using early phase termination to eliminate load imbalances at barrier synchronization points (MCR), pp. 369–386.

OOPSLA-2007-ElkarabliehKVM #named #performance #static analysis

Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.

OOPSLA-2007-BondNKGM #fault #null

Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.

OOPSLA-2007-MaF #alias #encapsulation #java

Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.

OOPSLA-2007-CameronDNS #multi

Multiple ownership (NRC, SD, JN, MJS), pp. 441–460.

OOPSLA-2007-MullerR

Ownership transfer in universe types (PM, AR), pp. 461–478.

OOPSLA-2007-BiermanMT #c# #formal method

Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.

OOPSLA-2007-StrniaaSP #design #java #semantics

The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.

OOPSLA-2007-KojarskiL #aspect-oriented #multi #named

Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions (SK, DHL), pp. 515–534.

OOPSLA-2007-PothierTP #debugging #scalability

Scalable omniscient debugging (GP, ÉT, JMP), pp. 535–552.

OOPSLA-2007-BuytaertGHAEB #compilation #using

Using hpm-sampling to drive dynamic compilation (DB, AG, MH, MA, LE, KDB), pp. 553–568.

OOPSLA-2007-ChenR #framework #named #performance #runtime #verification

Mop: an efficient and generic runtime verification framework (FC, GR), pp. 569–588.

OOPSLA-2007-AvgustinovTM #monitoring

Making trace monitors feasible (PA, JT, OdM), pp. 589–608.

OOPSLA-2007-Rinard07a

Living in the comfort zone (MCR), pp. 611–622.

OOPSLA-2007-McDirmid #live programming #programming language

Living it up with a live programming language (SM), pp. 623–638.

OOPSLA-2007-Edwards

No ifs, ands, or buts: uncovering the simplicity of conditionals (JE), pp. 639–658.

OOPSLA-2007-FleissnerB #aspect-oriented #named

Epi-aspects: aspect-oriented conscientious software (SF, ELAB), pp. 659–674.

OOPSLA-2007-Meijer #programming language

Confessions of a used programming language salesman (EM), pp. 677–694.

OOPSLA-2007-Grossman #garbage collection #memory management #transaction

The transactional memory / garbage collection analogy (DG), pp. 695–706.