Courtesy of taliesinb's off-hand comment [0], I learned of this excellent research project which collates many of my recent CS interests, and wish to share.

[0] http://rala.cba.mit.edu/pubs.html

Edit: [0]... -> [0] https://news.ycombinator.com/item?id=9322278 (to give credit properly)

Also, since the rala.cba links return 404, here is the paper index for the Center for Bits and Atoms as a whole: http://cba.mit.edu/docs/papers/

This is the RALA paper which caught my eye (PDF warning): http://cba.mit.edu/docs/papers/09.11.POPL.pdf

None of the links to papers seem to be working?

Well, that's unfortunate. This page aggregates all the Center for Bits and Atoms papers, which can be cross-referenced by the titles in the submitted link: http://cba.mit.edu/docs/papers/

Here is the main RALA paper (PDF warning): http://cba.mit.edu/docs/papers/09.11.POPL.pdf