I've recently been working on an approach to add parametric polymorphism to our Access Permissions methodology. Access Permissions is a fraction-based means of reasoning about program aliases statically. It turns out in certain cases, it's really nice to have parametric polymorphism over permission specifications, for many of the same reasons that it's useful to have traditional parametric polymorphism (e.g., Java generics).
Our paper on the subject was recently rejected from ECOOP, but I think there are still some neat ideas in here. We've posted the paper as a technical report, and work on the subject will continue. You can find the technical report on the ISR page.
In other news, I've also started keeping track of the movies I've watched, mostly due to a recent binge.