15. OOPSLA 2000: Minneapolis, Minnesota, USA

• Jan-Willem Maessen, Arvind, Xiaowei Shen:
  Improving the Java memory model using CRF. 1-12
  
• James Noble, David Holmes, John Potter:
  Exclusion for composite objects. 13-28
  
• Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jiongxiong Chen:
  Object-oriented real-time concurrency. 29-46
  
• Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney:
  Adaptive optimization in the Jalapeño JVM. 47-65
  
• Mauricio J. Serrano, Rajesh Bordawekar, Samuel P. Midkiff, Manish Gupta:
  Quicksilver: a quasi-static compiler for Java. 66-82
  
• Ayal Zaks, Vitaly Feldman, Nava Aizikowitz:
  Sealed calls in Java packages. 83-92
  
• Ji Y. Lee, Hye J. Kim, Kyo Chul Kang:
  A real world object modeling method for creating simulation environment of real-time systems. 93-104
  
• Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre:
  Formal specification of CORBA services: experience and lessons learned. 105-117
  
• Jerry Kiernan, Michael J. Carey:
  Middleware object query processing with deferred updates and autonomous sources. 118-129
  
• Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein:
  MultiJava: modular open classes and symmetric multiple dispatch for Java. 130-145
  
• Mirko Viroli, Antonio Natali:
  Parametric polymorphism in Java: an approach to translation based on reflective features. 146-165
  
• Serge Demeyer, Stéphane Ducasse, Oscar Nierstrasz:
  Finding refactorings via change metrics. 166-177
  
• William Harrison, Charles Barton, Mukund Raghavachari:
  Mapping UML designs to Java. 178-187
  
• Stephan Herrmann, Mira Mezini:
  PIROL: a case study for multidimensional separation of concerns in software engineering environments. 188-207
  
• Clyde Ruby, Gary T. Leavens:
  Safely creating correct subclasses without seeing superclass code. 208-228
  
• Mikel Luján, T. L. Freeman, John R. Gurd:
  OoLALA: an object oriented analysis and design of numerical linear algebra. 229-252
  
• Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón:
  Towards agent-oriented assistance for framework instantiation. 253-263
  
• Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin:
  Practical virtual method call resolution for Java. 264-280
  
• Frank Tip, Jens Palsberg:
  Scalable propagation-based call graph construction algorithms. 281-293
  
• Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Hideaki Komatsu, Toshio Nakatani:
  A study of devirtualization techniques for a Java^TM Just-In-Time compiler. 294-310
  
• Neal Glew:
  An efficient class and object encoding. 311-324
  
• Zhenyu Qian, Allen Goldberg, Alessandro Coglio:
  A formal specification of Java^TM class loading. 325-336
  
• Derek Rayside, Gerard T. Campbell:
  An Aristotelian understanding of object-oriented programming. 337-353
  
• Grzegorz Czajkowski:
  Application isolation in the Java^TM Virtual Machine. 354-366
  
• Ciarán Bryce, Chrislain Razafimahefa:
  An approach to safe object sharing. 367-381
  
• David F. Bacon, Robert E. Strom, Ashis Tarafdar:
  Guava: a dialect of Java without data races. 382-400