Lambda the Ultimate

MIT now has recently adopted an open access policy, which means that all MIT faculty grant MIT the right to make their scholarly publications available on an open access basis, with the possibility of a waiver on an individual case-by-case basis.

Story via John Baez. This follows a similar initiative at Harvard. Both announcements are non-retrospective.

I'm looking for any research on compilers which automatically select different data layouts or structures in order to improve efficiency. For example, changing an array of structures to a structure of arrays to make it easier to use vector operations. However I don't just mean selecting one data layout and using it throughout the program but converting between different layouts at appropriate points such as a sequence which could be implemented as a linked list or an array depending on which operations were being performed on it. I also wonder if something like this could be integrated with a copying garbage collector.