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.
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/
4 comments
[ 2.8 ms ] story [ 21.5 ms ] thread[0] http://rala.cba.mit.edu/pubs.html
Here is the main RALA paper (PDF warning): http://cba.mit.edu/docs/papers/09.11.POPL.pdf
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