19. ECOOP 2005: Glasgow, UK

Invited Talks

• Bertrand Meyer:
  Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. 1-32
  Electronic Edition (link) BibTeX
• Gail C. Murphy, Mik Kersten, Martin P. Robillard, Davor Cubranic:
  The Emergent Structure of Development Tasks. 33-48
  Electronic Edition (link) BibTeX

Java

• Yoshiki Sato, Shigeru Chiba:
  Loosely-Separated "Sister" Namespaces in Java. 49-70
  Electronic Edition (link) BibTeX
• Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller:
  Efficiently Refactoring Java Applications to Use Generic Libraries. 71-96
  Electronic Edition (link) BibTeX
• Laurent Daynès, Grzegorz Czajkowski:
  Sharing the Runtime Representation of Classes Across Class Loaders. 97-120
  Electronic Edition (link) BibTeX

Aspects and Modularity

• Shigeru Chiba, Rei Ishikawa:
  Aspect-Oriented Programming Beyond Dependency Injection. 121-143
  Electronic Edition (link) BibTeX
• Jonathan Aldrich:
  Open Modules: Modular Reasoning About Advice. 144-168
  Electronic Edition (link) BibTeX
• Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook:
  Evaluating Support for Features in Advanced Modularization Technologies. 169-194
  Electronic Edition (link) BibTeX
• Gregor Kiczales, Mira Mezini:
  Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. 195-213
  Electronic Edition (link) BibTeX
• Klaus Ostermann, Mira Mezini, Christoph Bockisch:
  Expressive Pointcuts for Increased Modularity. 214-240
  Electronic Edition (link) BibTeX
• Celina Gibbs, Chunjian Robin Liu, Yvonne Coady:
  Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? 241-261
  Electronic Edition (link) BibTeX

Language Design

• Gavin M. Bierman, Alisdair Wren:
  First-Class Relationships in an Object-Oriented Language. 262-286
  Electronic Edition (link) BibTeX
• Gavin M. Bierman, Erik Meijer, Wolfram Schulte:
  The Essence of Data Access in Comega. 287-311
  Electronic Edition (link) BibTeX
• Lee Salzman, Jonathan Aldrich:
  Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. 312-336
  Electronic Edition (link) BibTeX
• Brian Foote, Ralph E. Johnson, James Noble:
  Efficient Multimethods in a Single Dispatch Language. 337-361
  Electronic Edition (link) BibTeX

Program Analysis

• Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar:
  Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. 362-386
  Electronic Edition (link) BibTeX
• Anindya Banerjee, David A. Naumann:
  State Based Ownership, Reentrance, and Encapsulation. 387-411
  Electronic Edition (link) BibTeX
• Vitus S. W. Lam, Julian A. Padget:
  Consistency Checking of Statechart Diagrams of a Class Hierarchy. 412-427
  Electronic Edition (link) BibTeX

Types

• Christopher Anderson, Paola Giannini, Sophia Drossopoulou:
  Towards Type Inference for JavaScript. 428-452
  Electronic Edition (link) BibTeX
• Charles Smith, Sophia Drossopoulou:
  Chai: Traits for Java-Like Languages. 453-478
  Electronic Edition (link) BibTeX
• Yi Lu, John Potter:
  A Type System for Reachability and Acyclicity. 479-503
  Electronic Edition (link) BibTeX

Testing

• Carlos Pacheco, Michael D. Ernst:
  Eclat: Automatic Generation and Classification of Test Inputs. 504-527
  Electronic Edition (link) BibTeX
• Valentin Dallmeier, Christian Lindig, Andreas Zeller:
  Lightweight Defect Localization for Java. 528-550
  Electronic Edition (link) BibTeX

Concurrency

• Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby:
  Extending JML for Modular Specification and Verification of Multi-threaded Programs. 551-576
  Electronic Edition (link) BibTeX
• Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove:
  Derivation and Evaluation of Concurrent Collectors. 577-601
  Electronic Edition (link) BibTeX
• Amy Williams, William Thies, Michael D. Ernst:
  Static Deadlock Detection for Java Libraries. 602-629
  Electronic Edition (link) BibTeX