Program

Wednesday 16th June 2004

9.00–9.30 Opening
Trygve Reenskaug, University of Oslo
9.30–10.30 Programming Concepts I
  Ownership Domains: Separating Aliasing Policy from Mechanism, Jonathan Aldrich, Carnegie Mellon University, and Craig Chambers, University of Washington

Composable Encapsulation Policies, Nathanael Schärli, Stéphane Ducasse, and Oscar Nierstrasz, University of Bern, and Roel Wuyts, Université Libre de Bruxelles

11.00–12.30 Program Analysis
  Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability, S. Alexander Spoon and Olin Shivers, Georgia Institute of Technology

Efficiently Verifiable Escape Analysis, Matthew Q. Beers, Christian H. Stork and Michael Franz, University of California Irvine

Pointer Analysis in the Presence of Dynamic Class Loading, Martin Hirzel and Amer Diwan, University of Colorado, and Michael Hind, IBM Watson Research Center

13.30–15.00 Software Engineering
  The Expression Problem Revisited — Four new solutions using generics, Mads Torgersen, University of Aarhus

Rewritable Reference Attributed Grammars, Torbjörn Ekman and Görel Hedin, Lund University

Finding and Removing Performance Bottlenecks in Large Systems, Glenn Ammons, Jong-Deok Choi, and Manish Gupta, IBM, and Nikhil Swamy, University of Maryland

15.30–17.00 Aspects
  Programming With Crosscutting Effective Views, Doug Janzen and Kris De Volder, University of British Columbia

AspectJ2EE = AOP + J2EE — Towards an Aspect Based, Programmable and Estensible Middleware Framework, Tal Cohen and Joseph (Yossi) Gil, Israel Institute of Technology

Use Case Level Pointcuts, Jonathan Sillito, Christopher Dutchyn, Andrew David Eisenberg and Kris De Volder, University of British Columbia

Thursday 17th June 2004

9.00–10.00 Invited talk
  Functional Objects, Matthias Felleisen, Northeastern University
10.30–12.30 Middleware
  Inheritance-Inspired Versioning for CORBA, Skef Iterum, Shoreline, and Ralph Campbell, Sun Microsystems

A Middleware Framework for Persistence and Querying of Java Objects, Mourad Alia, Sébastien Chassande-Barrioz, Pascal Déchamboux, Catherine Hamon, and Alexandre Lefebvre, France Télécom R&D

Sequential Object Monitors, Denis Caromel, Université de Nice, Luis Mateu, University of Chile, and Eric Tanter, Ecole des Mines de Nantes

Increasing Concurrency in Databases using Program Analysis, Roman Vitenberg, Kristian Kvilekval and Ambuj K. Singh, UCSB Santa Barbara

13.30–15.00 Programming Concepts II
  Semantic Casts: Structural Subtyping in a Nominal World, Robert Bruce Findler, University of Chicago, Matthew Flatt, University of Utah, and Matthias Felleisen, Northeastern University, Boston

LOOJ: Weaving LOOM into Java, Kim B. Bruce, Williams College, and Nathan Foster, University of Pennsylvania

Modules with Interfaces for Dynamic Linking and Communication, Yu David Liu and Scott F. Smith, The Johns Hopkins University

15.30–17.00 Verification
  Early identification of incompatibilities in multi-component upgrades, Stephen McCamant and Michael D. Ernst, Massachusetts Institute of Technology

Typestates for Objects, Robert DeLine and Manuel Fähndrich, Microsoft Research A

Object Invariants in Dynamic Contexts, K. Rustan M. Leino, Microsoft Research, and Peter Müller, ETH Zurich

17.00–18.00 Panel
  OOP and XML
Clemens Szyperski, Microsoft
(other panelists to be announced)

Friday 18th June 2004

9.00–10.00 Invited talk
  Rich Interfaces for Software Modules, Tom Henzinger: University of California, Berkeley and EPFL
10.30–12.30 Systems
  Transactional Monitors for Concurrent Objects, Adam Welc, Suresh Jagannathan and Antony L. Hosking, Purdue University

Adaptive Tuning of Reserved Space in an Appel Collector, José Manuel Velasco, Antonio Ortiz, Katzalin Olcoz, and Francisco Tirado, Complutense University

Lock Reservation for Java Reconsidered, Tamiya Onodera, Kiyokuni Kawachiya and Akira Koseki IBM Research, Tokyo Research Lab

Customization of Java Library Classes using Type Constraints, and Profile Information, Bjorn De Sutter, Ghent University, and Frank Tip and Julian Dolby, IBM T.J. Watson Research Center