Gail E. Harris
Proceedings of the 23rd Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2008.

@proceedings{OOPSLA-2008,
	address       = "Nashville, Tennessee, USA",
	editor        = "Gail E. Harris",
	isbn          = "978-1-60558-215-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2008,
}

Contents (36 items)

9 ×#java
6 ×#performance
4 ×#named
3 ×#analysis
3 ×#design
3 ×#type system
2 ×#compilation
2 ×#memory management
2 ×#multi
2 ×#query

OOPSLA-2008-WillisPN #java #query

Caching and incrementalisation in the java query language (DW, DJP, JN), pp. 1–18.

OOPSLA-2008-WiedermannIC #interprocedural #persistent #query

Interprocedural query extraction for transparent persistence (BW, AI, WRC), pp. 19–36.

OOPSLA-2008-TatlockTSJL #refactoring

Deep typechecking and refactoring (ZT, CT, DS, RJ, SL), pp. 37–52.

OOPSLA-2008-Russo #visual notation

Join patterns for visual basic (CVR), pp. 53–72.

OOPSLA-2008-GilM #java #named #type system

Whiteoak: introducing structural typing into java (JYG, IM), pp. 73–90.

OOPSLA-2008-KatsBV #bytecode #compilation #normalisation

Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.

OOPSLA-2008-BondM #memory management

Tolerating memory leaks (MDB, KSM), pp. 109–126.

OOPSLA-2008-ShankarAB #dynamic analysis #lightweight #named

Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.

OOPSLA-2008-ArnoldVY #detection #fault #named #performance #runtime

QVM: an efficient runtime for detecting defects in deployed systems (MA, MTV, EY), pp. 143–162.

OOPSLA-2008-XianSJ #execution #java #parallel #source code #thread

Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.

OOPSLA-2008-SchneiderMSA #optimisation #performance

Dynamic optimization for efficient strong atomicity (FTS, VM, TS, ARAT), pp. 181–194.

OOPSLA-2008-NiWABBCGKNOPSTT #c #c++ #design #implementation #transaction

Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.

OOPSLA-2008-DistefanoP #java #named #towards #verification

jStar: towards practical verification for java (DD, MJP), pp. 213–226.

OOPSLA-2008-BeckmanBA #type system #verification

Verifying correct usage of atomic blocks and typestate (NEB, KB, JA), pp. 227–244.

OOPSLA-2008-GopinathanR #analysis #protocol #runtime

Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.

OOPSLA-2008-ChernV

The impact of static-dynamic coupling on remodularization (RC, KDV), pp. 261–276.

OOPSLA-2008-SchaferEM #java

Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.

OOPSLA-2008-TanseyT #legacy #refactoring

Annotation refactoring: inferring upgrade transformations for legacy applications (WT, ET), pp. 295–312.

OOPSLA-2008-DagenaisH #java #source code #static analysis

Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.

OOPSLA-2008-FerraraLF #dot-net

Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.

OOPSLA-2008-NaeemL #analysis #multi

Typestate-like analysis of multiple interacting objects (NAN, OL), pp. 347–366.

OOPSLA-2008-GeorgesEB #compilation #evaluation #java #performance

Java performance evaluation through rigorous replay compilation (AG, LE, DB), pp. 367–384.

OOPSLA-2008-KawachiyaOO #analysis #java #memory management #reduction #string

Analysis and reduction of memory inefficiencies in Java strings (KK, KO, TO), pp. 385–402.

OOPSLA-2008-ProkopskiV #performance #virtual machine

Analyzing the performance of code-copying virtual machines (GBP, CV), pp. 403–422.

OOPSLA-2008-MoorsPO

Generics of a higher kind (AM, FP, MO), pp. 423–438.

OOPSLA-2008-OliveiraWG #component #reuse #type safety #visitor

The visitor pattern as a reusable, generic, type-safe component (BCdSO, MW, JG), pp. 439–456.

OOPSLA-2008-NystromSPG #object-oriented

Constrained types for object-oriented languages (NN, VAS, JP, CG), pp. 457–474.

OOPSLA-2008-BellamyAMS #performance #type inference

Efficient local type inference (BB, PA, OdM, DS), pp. 475–492.

OOPSLA-2008-RobersonHDB #model checking #performance #type system

Efficient software model checking of soundness of type systems (MR, MH, PTD, CB), pp. 493–504.

OOPSLA-2008-SmithC #java #question #type inference

Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.

OOPSLA-2008-SchippersJHH #semantics

Delegation-based semantics for modularizing crosscutting concerns (HS, DJ, MH, RH), pp. 525–542.

OOPSLA-2008-BaldiLLB #aspect-oriented #formal method #topic

A theory of aspects as latent topics (PB, CVL, EL, SKB), pp. 543–562.

OOPSLA-2008-MuscheviciPTN #multi

Multiple dispatch in practice (RM, AP, EDT, JN), pp. 563–582.

OOPSLA-2008-BouilletFLRR #approach #composition #design #information management

A tag-based approach for the design and composition of information processing applications (EB, MF, ZL, AR, AR), pp. 585–602.

OOPSLA-2008-SimpkinsBIM #adaptation #learning #programming language #towards

Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.

OOPSLA-2008-Gabriel #design

Designed as designer (RPG), pp. 617–632.