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

Language design

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

Frameworks/tools

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

Virtual machines

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

Performance

• Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere:
  Javana: a system for building customized Java program analysis tools. 153-168
  
• 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
  
• Ben Titzer:
  Virgil: objects on the head of a pin. 191-208
  

Compilation

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

Concurrency

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

Generics

• Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea:
  A flow-based approach for variant parametric types. 273-290
  
• 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
  
• Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
  Generic ownership for generic Java. 311-324
  

Types

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

Software engineering

• Lo Kwun Kit, Chan Kwun Man, Elisa L. A. Baniassad:
  Isolating and relating concerns in requirements using latent semantic analysis. 383-396
  
• 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
  
• Naiyana Sahavechaphan, Kajal T. Claypool:
  XSnippet: mining For sample code. 413-430
  

OOPSLA onward! track Chair's welcome

• Richard P. Gabriel, Ron Goldman:
  Conscientious software. 433-450
  
• Charles Simonyi, Magnus Christerson, Shane Clifford:
  Intentional software. 451-464
  

OOPSLA essays chair's welcome

• Jim Waldo:
  On system design. 467-480
  
• Friedrich Steimann:
  The paradoxical success of aspect-oriented programming. 481-497