- Inferring aliasing and encapsulation properties for Java by Foster/Ma
- Multiple ownership by Cameron/Drossopoulou/Noble/Smith
- 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!