20. OOPSLA 2005: San Diego, CA, USA - Proceedings

Type types

• Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine:
  Associated types and constraint propagation for mainstream object-oriented generics. 1-19
  
• Andrew Kennedy, Claudio V. Russo:
  Generalized algebraic data types and object-oriented programming. 21-40
  
• Martin Odersky, Matthias Zenger:
  Scalable component abstractions. 41-57
  

Analysis analyzed

• Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík:
  Demand-driven points-to analysis for Java. 59-76
  
• Mangala Gowri Nanda, Christian Grothoff, Satish Chandra:
  Deriving object typestates in the presence of inter-object references. 77-96
  
• Joseph Gil, Itay Maman:
  Micro patterns in Java code. 97-116
  

Archetypal architectures

• J. Andrés Díaz Pace, Marcelo R. Campo:
  ArchMatE: from architectural styles to object-oriented models through exploratory tool support. 117-132
  
• Uwe Zdun, Paris Avgeriou:
  Modeling architectural patterns using architectural primitives. 133-146
  
• Cosmin E. Oancea, Stephen M. Watt:
  Parametric polymorphism for software component architectures. 147-166
  
• Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson:
  Using dependency models to manage complex software architecture. 167-176
  

Language lingo

• Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz:
  Classbox/J: controlling the scope of change in Java. 177-189
  
• Yu David Liu, Scott F. Smith:
  Interaction-based programming with classages. 191-209
  
• Matthew S. Tschantz, Michael D. Ernst:
  Javari: adding reference immutability to Java. 211-230
  

Adaptation adapted

• Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt:
  Fine-grained interoperability through mirrors and contracts. 231-245
  
• Sergei Kojarski, David H. Lorenz:
  Pluggable AOP: designing aspect mechanisms for third-party composition. 247-263
  
• Ittai Balaban, Frank Tip, Robert M. Fuhrer:
  Refactoring support for class library migration. 265-279
  

Machine machinery

• Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, Michael C. Mozer:
  Automating vertical profiling. 281-296
  
• Matthew Arnold, Adam Welc, V. T. Rajan:
  Improving virtual machine performance using a cross-run profile repository. 297-311
  
• Matthew Hertz, Emery D. Berger:
  Quantifying the performance of garbage collection vs. explicit memory management. 313-326
  
• Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith:
  Runtime specialization with optimistic heap analysis. 327-343
  

Tracing traces

• Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
  Adding trace matching with free variables to AspectJ. 345-364
  
• Michael C. Martin, V. Benjamin Livshits, Monica S. Lam:
  Finding application errors and security flaws using PQL: a program query language. 365-383
  
• Simon Goldsmith, Robert O'Callahan, Alexander Aiken:
  Relational queries over program traces. 385-402
  

Concurreny

• Alexander Ahern, Nobuko Yoshida:
  Formalising Java RMI with explicit code mobility. 403-422
  
• Douglas Gregor, Andrew Lumsdaine:
  Lifting sequential graph algorithms for distributed-memory parallel computation. 423-437
  
• Adam Welc, Suresh Jagannathan, Antony L. Hosking:
  Safe futures for Java. 439-453
  

Exceptional exceptions

• Marko van Dooren, Eric Steegmans:
  Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations. 455-471
  
• Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu:
  Incrementalization across object abstraction. 473-486
  
• Antonio Cunei, Jan Vitek:
  PolyD: a flexible dispatching framework. 487-503
  

Onward!

• Jonathan Edwards:
  Subtext: uncovering the simplicity of programming. 505-518
  
• Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar:
  X10: an object-oriented approach to non-uniform cluster computing. 519-538
  

Essays

• Glenn Vanderburg:
  A simple model of agile software processes - or - extreme programming annealed. 539-545