16. OOPSLA 2001: Tampa, Florida, USA

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, October 14-18, 2001, Tampa, Florida, USA. SIGPLAN Notices 36(11), November 2001, ACM, ISBN 1-58113-355-9

Languages I

Robert Bruce Findler, Matthias Felleisen: Contract Soundness for Object-Oriented Languages. 1-15
Davide Ancona, Giovanni Lagorio, Elena Zucca: A Core Calculus for Java Exceptions. 16-30
Jonathan Bachrach, Keith Playford: The Java Syntactic Extender. 31-42

Program Analysis

Atanas Rountev, Ana Milanova, Barbara G. Ryder: Points-To Analysis for Java using Annotated Constraints. 43-55
Chandrasekhar Boyapati, Martin C. Rinard: A Parameterized Type System for Race-Free Java Programs. 56-69
Christoph von Praun, Thomas R. Gross: Object Race Detection. 70-82

Performance

Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani: A Study of Exception Handling and Its Dynamic Optimization in Java. 83-95
Yoav Zibin, Joseph Gil: Efficient Subtyping Tests with PQ-Encoding. 96-107
Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber: Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. 108-124

Resource Management

Grzegorz Czajkowski, Laurent Daynès: Multitasking without Compromise: A Virtual Machine Evolution. 125-138
Walter Binder, Jarle Hulaas, Alex Villazón: Portable Resource Control in Java: The J-SEAL2 Approach. 139-155
Hiroaki Nakamura: Incremental Computation of Complex Objects Queries. 156-165

Dynamic Optimization

John Whaley: Partial Method Compilation using Dynamic Profile Information. 166-179
Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani: A Dynamic Optimization Framework for a Java Just-In-Time Compiler. 180-194
Igor Pechtchanski, Vivek Sarkar: Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. 195-210

Modules

Sean McDirmid, Matthew Flatt, Wilson C. Hsieh: Jiazzi: New-Age Components for Old-Fashioned Java. 211-222
Dominic Duggan, Ching-Ching Techaubol: Modular Mixin-Based Inheritance for Application Frameworks. 223-240
Christian Grothoff, Jens Palsberg, Jan Vitek: Encapsulating Objects with Confined Types. 241-253

Languages II

Patrick Th. Eugster, Rachid Guerraoui, Christian Heide Damm: On Objects and Events. 254-269
Joost Visser: Visitor Combination and Traversal Control. 270-282
Klaus Ostermann, Mira Mezini: Object-Oriented Composition Untangled. 283-299

Software Engineering

Michele Lanza, Stéphane Ducasse: A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint. 300-311
Mary Jean Harrold, James A. Jones, Tongyu Li, Donglin Liang, Alessandro Orso, Maikel Pennings, Saurabh Sinha, S. Alexander Spoon, Ashish Gujarathi: Regression Test Selection for Java Software. 312-326
Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, Nosa Omorogbe: The Architecture of a UML Virtual Machine. 327-341

Garbage Collections

Stephen Blackburn, Sharad Singhai, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss: Pretenuring for Java. 342-352
Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham: Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications. 353-366
Yossi Levanoni, Erez Petrank: An On-the-Fly Reference Counting Garbage Collector for Java. 367-380