Spring 2003 - Papers for PROLANGS Reading Group
(some suggestors listed as initials)
*********************************************************

ANALYSES:

S. Demeyer, S. Ducasse, O. Niersterasz, "Finding Refactorings via
Change Metrics", OOPSLA 2000. (BGR)

C. Bryce, C. Razafimahefa, "An Approach to Safe Object Sharing",
OOPSLA 2000. (BGR) 

P. Pominville et al., "A Framework for Optimizing Java Using
Attributes", CC 2001. (FZ)

C. Grothoff, J. Palsbeg, J. Vitek, "Encapsulating objects with confined 
types", OOPSLAš2002 (BGR)

two related papers:(BGR)
--G. Agrawal, "Demand-driven Construction of Call Graphs", CC 2000, pp 125-140. 

--G. Agrawal, J. Li, Q. Su, "Evaluating a Demand-driven Technique for 
Call Graph  Construction", CC 2002, pp 29-45. 

Patrick and Radhia Cousot, "Modular Static Program Analysis", CC 2002, 
pp 159-178 (invited paper).(BGR)

T. Wang and S. Smith, "Precise Constraint-based Type Inference for Java",
ECOOP 2001, pp 99-117.(BGR) 

************************************************************
ASPECTS:

M. Robillard, G. Murphy, "Concern Graphs: Finding and Describing
Concerns Using Structural Program Dependences", ICSE02, 406-416. (BGR)

A. Mehta, G. Heineman, "Evolving Legacy System Features into
Find-grained components", ICSE02, 417-427.(BGR) 

G. Kicazles, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold,
"An Overview of AspectJ", ECOOP 2001, pp 327-353.(BGR)

F. Hunleth, R. K. Cytron, Footprint and feature management using
aspect-oriented programming techniques, LCTES 02/SCOPES 02 (Notices 37 (7)),
38--45.  Using Aspect-J for embedded systems.  (TM)   

************************************************************
COMPONENTS:

R. Findler, M. Laendresse, M. Felleisen, "Behavioral Contracts and 
Behavioral Subtyping", FSE 2001. (BGR)

D. Duggan, C. Techaubol, "Modular Mixin-based Inheritance for
Application Frameworks", OOPSLA01, 223-240.(BGR)

J. Aldrich, C. Chambers, D. Notkin, "ArchJava: connecting Software
Architecture to Implementation", ICSE02, 187-197.(BGR)
(possibly related: Aldrich, Chambers, Notkin, "Architectural Reasoning
in ArchJava", ECOOP 2002, pp 334-367.)

V. Sreedhar, "Mixin'Up Components", ICSE02, 198-207.(BGR)

G. Ramalingam, A. Warshavsky, J. Field, D. Goyal, M. Sagiv, "Deriving
Specialized Program Analyses for Certifying Component-client Conformance", 
PLDI02, 83-94 (BGR). 

D. Acona, G. lagorio, E. Zucca, "JAM - a Smooth Extension of Java with Mixins",
ECOOP 2000, pp 145-178(BGR)

G. Buchi and W. Weck, "Generic Wrappers", ECOOP 2000, pp 210-225.(BGR)

M. Flatt and M. Felleisen, "Units:Cool Modules for HOT
Languages" PLDI1998.
(related to M. Flatt, S. Krishnamurthi, M. Felleisen, "Classes
and Mixins", POPL 1998, pp 171-183; Findler and Flatt, "Modular
Object-oriented Programming with Units and Mixins", ICFP98)

*****************************************************************
OPTIMIZATIONS:

D. Holzle, D. Ungar, "Reconciling Expressiveness with Performance in Pure
OO Languages", TOPLAS, July 1996 (BGR)

J. Dolby, A. Chien, "An Automatic Object Inlining Optimization and its
Evaluation", PLDI00, 345-357. (BGR)

S. Blackburn, R. Jones, K. McKinley, E. Moss, "Beltway: getting around GC
Gridlock, PLDI02, 153-164.(BGR)

C. Krintz, B. Calder, "Using Annotations to Reduce Dynamic Optimization Time",
PLDI01, 156-167.(BGR) 

M. Gupta, J. Choi, M. Hind, "Optimizing Java in the Presence of Exceptions",
ECOOP 2000, pp 422-446.(BGR) 

M. Naik, J. Palsberg, Compiling with code-size constraints, LCTES 02/SCOPES
02, 120--129.  Not necessarily OO, but definitely germane.
Restricts/redirects specialization and optimization. (TM)    

************************************************************
PROFILING:


W. Dickenson, D. Leon, A. Podgurski, "Pursuing Failure: The
distribution of program failures in a profile space", FSE 2001 (BGR) 

J. Whaley, "Partial Method compilation using Dynamic Profiling",
OOPSLA02 (BGR)

R. Shaham, E. Kolodner, M. Sagiv, "Heap Profiling for Space-efficient Java",
PLDI01, 104-113.(BGR)

**************************************************************
SYSTEMS:

"Designing a Flexible Service-Based Architecture for Internet 
Applications", OOPSLA 2000. (YN) ---- Stas 

Y. Shuf et al., "Characterizing the Memory Behavior of Java Workloads:
A Structured View and Opportunities for Optimizations", SIGMETRICS 2001. 
(CH) -- Chung-hsing

**************************************************************
TESTING:


*******************************************************************
TOOLS:

S. Butkevich et al., "Compiler and Tool Support for Debugging
Object Protocols", FSE 2000.(NR)

M. Philipose, C. Chambers, S. Eggars, "Towards Automatic Construction
of Staged Compilers", POPL02, 113-125.

C. Colby, P. Lee, G. Necula, F. Blau, M. Plesko, K. Cline, 
"A Certifying Compiler for Java", PLDI00, 95-107.(BGR)

**************************************************
MISC: