object-oriented type systems in practice

I received the following request from Roy Ju of Intel's Compilers and
Java Lab:

> We would like to understand a wide spectrum of the issues under type
> safety, but a few examples of what we have in mind are security in
> sharing objects, design of class and object (e.g. object layout),
> static type analysis or inference techniques, runtime checking,
> annotations to facilitate runtime checking, any interactions with
> JIT/OS/GC, ... We are more interested in the design and implementation
> issues and less so on the theoretical foundation at this point.

Suggestions as to what papers would be the most relevant?  If there is
interest, I will post a summary of the responses.

Kathleen Fisher