21. OOPSLA 2006: Portland, Oregon, USA - Proceedings

Language design

• DeLesley Hutchins:
  Eliminating distinctions of class: using prototypes to model virtual classes. 1-20
  Electronic Edition (ACM DL) BibTeX
• Nathaniel Nystrom, Xin Qi, Andrew C. Myers:
  J&: nested intersection for scalable software composition. 21-36
  Electronic Edition (ACM DL) BibTeX
• Alessandro Warth, Milan Stanojevic, Todd D. Millstein:
  Statically scoped object adaptation with expanders. 37-56
  Electronic Edition (ACM DL) BibTeX

Frameworks/tools

• Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein:
  A framework for implementing pluggable type systems. 57-74
  Electronic Edition (ACM DL) BibTeX
• George Fairbanks, David Garlan, William L. Scherlis:
  Design fragments make using frameworks easier. 75-88
  Electronic Edition (ACM DL) BibTeX
• Tal Cohen, Joseph Gil, Itay Maman:
  JTL: the Java tools language. 89-108
  Electronic Edition (ACM DL) BibTeX

Virtual machines

• Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini:
  Adapting virtual machine techniques for seamless aspect support. 109-124
  Electronic Edition (ACM DL) BibTeX
• Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini:
  Efficient control flow quantification. 125-138
  Electronic Edition (ACM DL) BibTeX
• Patrick Th. Eugster:
  Uniform proxies for Java. 139-152
  Electronic Edition (ACM DL) BibTeX

Performance

• Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere:
  Javana: a system for building customized Java program analysis tools. 153-168
  Electronic Edition (ACM DL) BibTeX
• Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann:
  The DaCapo benchmarks: java benchmarking development and analysis. 169-190
  Electronic Edition (ACM DL) BibTeX
• Ben Titzer:
  Virgil: objects on the head of a pin. 191-208
  Electronic Edition (ACM DL) BibTeX

Compilation

• Martin Bravenboer, Éric Tanter, Eelco Visser:
  Declarative, formal, and extensible syntax definition for aspectJ. 209-228
  Electronic Edition (ACM DL) BibTeX
• John Cavazos, Michael F. P. O'Boyle:
  Method-specific dynamic compilation using logistic regression. 229-240
  Electronic Edition (ACM DL) BibTeX
• Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani:
  Replay compilation: improving debuggability of a just-in-time compiler. 241-252
  Electronic Edition (ACM DL) BibTeX

Concurrency

• Maurice Herlihy, Victor Luchangco, Mark Moir:
  A flexible framework for implementing software transactional memory. 253-262
  Electronic Edition (ACM DL) BibTeX
• Kenneth Russell, David Detlefs:
  Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. 263-272
  Electronic Edition (ACM DL) BibTeX

Generics

• Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea:
  A flow-based approach for variant parametric types. 273-290
  Electronic Edition (ACM DL) BibTeX
• Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine:
  Concepts: linguistic support for generic programming in C++. 291-310
  Electronic Edition (ACM DL) BibTeX
• Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
  Generic ownership for generic Java. 311-324
  Electronic Edition (ACM DL) BibTeX

Types

• Yu David Liu, Scott F. Smith:
  A formal framework for component deployment. 325-344
  Electronic Edition (ACM DL) BibTeX
• Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip:
  An operational semantics and type safety prooffor multiple inheritance in C++. 345-362
  Electronic Edition (ACM DL) BibTeX
• Paul T. Darga, Chandrasekhar Boyapati:
  Efficient software model checking of data structure properties. 363-382
  Electronic Edition (ACM DL) BibTeX

Software engineering

• Lo Kwun Kit, Chan Kwun Man, Elisa L. A. Baniassad:
  Isolating and relating concerns in requirements using latent semantic analysis. 383-396
  Electronic Edition (ACM DL) BibTeX
• Gareth Baxter, Marcus R. Frean, James Noble, Mark Rickerby, Hayden Smith, Matt Visser, Hayden Melton, Ewan D. Tempero:
  Understanding the shape of Java software. 397-412
  Electronic Edition (ACM DL) BibTeX
• Naiyana Sahavechaphan, Kajal T. Claypool:
  XSnippet: mining For sample code. 413-430
  Electronic Edition (ACM DL) BibTeX

OOPSLA onward! track Chair's welcome

• Richard P. Gabriel, Ron Goldman:
  Conscientious software. 433-450
  Electronic Edition (ACM DL) BibTeX
• Charles Simonyi, Magnus Christerson, Shane Clifford:
  Intentional software. 451-464
  Electronic Edition (ACM DL) BibTeX

OOPSLA essays chair's welcome

• Jim Waldo:
  On system design. 467-480
  Electronic Edition (ACM DL) BibTeX
• Friedrich Steimann:
  The paradoxical success of aspect-oriented programming. 481-497
  Electronic Edition (ACM DL) BibTeX