kirancodes.me
To Proof Maintenance & Beyond!
Venues / OOPSLA /

OOPSLA 2001

27 papers

  1. A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint · Michele Lanza, Stéphane Ducasse
  2. A Core Calculus for Java Exceptions · Davide Ancona, Giovanni Lagorio, Elena Zucca
  3. A Dynamic Optimization Framework for a Java Just-In-Time Compiler · Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani
  4. A Parameterized Type System for Race-Free Java Programs · Chandrasekhar Boyapati, Martin C. Rinard
  5. A Study of Exception Handling and Its Dynamic Optimization in Java · Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani
  6. An On-the-Fly Reference Counting Garbage Collector for Java · Yossi Levanoni, Erez Petrank
  7. Contract Soundness for Object-Oriented Languages · Robert Bruce Findler, Matthias Felleisen
  8. Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications · Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham
  9. Dynamic Optimistic Interprocedural Analysis: A Framework and an Application · Igor Pechtchanski, Vivek Sarkar
  10. Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless · Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
  11. Efficient Subtyping Tests with PQ-Encoding · Yoav Zibin, Joseph Gil
  12. Encapsulating Objects with Confined Types · Christian Grothoff, Jens Palsberg, Jan Vitek
  13. Incremental Computation of Complex Objects Queries · Hiroaki Nakamura
  14. Jiazzi: New-Age Components for Old-Fashioned Java · Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
  15. Modular Mixin-Based Inheritance for Application Frameworks · Dominic Duggan, Ching-Ching Techaubol
  16. Multitasking without Compromise: A Virtual Machine Evolution · Grzegorz Czajkowski, Laurent Daynès
  17. Object Race Detection · Christoph von Praun, Thomas R. Gross
  18. Object-Oriented Composition Untangled · Klaus Ostermann, Mira Mezini
  19. On Objects and Events · Patrick Th. Eugster, Rachid Guerraoui, Christian Heide Damm
  20. Partial Method Compilation using Dynamic Profile Information · John Whaley
  21. Points-To Analysis for Java using Annotated Constraints · Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
  22. Portable Resource Control in Java: The J-SEAL2 Approach · Walter Binder, Jarle Hulaas, Alex Villazón
  23. Pretenuring for Java · Stephen M. Blackburn, Sharad Singhai, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss
  24. Regression Test Selection for Java Software · Mary Jean Harrold, James A. Jones, Tongyu Li, Donglin Liang, Alessandro Orso, Maikel Pennings + 3 more
  25. The Architecture of a UML Virtual Machine · Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, Nosa Omorogbe
  26. The Java Syntactic Extender · Jonathan Bachrach, Keith Playford
  27. Visitor Combination and Traversal Control · Joost Visser