OOPSLA: Ownership session

3 very interesting talks on ownership:

1. Inferring aliasing and encapsulation properties for Java by Foster/Ma
2. Multiple ownership by Cameron/Drossopoulou/Noble/Smith
3. Ownership transfer in universe types by Mueller/Rudich

I especially enjoyed Nicholas Cameron's talk: he has his mojo (sic)! They use an interesting form of existential over ownership annotations (written using a wildcard syntax). I wonder if you could encode their stuff into sep logic where their o&? constraints would be encoded as EXISTS b.o&b formulae? At the very least it would provide some sort of semantics. Yet another thing to discuss with James Noble!