Last time when I posted a reading list, I ended up actually writing short reviews on my blog. (And at least in one case it appears I did not piss off the authors. Great achievement! :) ) Let's see if I can repeat this feat. The current reading list comes from reading the abstracts of POPL2015:
1. Brown, Palsberg, Self-Representation in Girard's System U
2. Pous, Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
3. Giacobazzi et al, Analyzing Program Analyses
I'll put a bonus as well. This one comes from Google Scholar's suggestions, and it looks like a good one:
4. Bjorner et al., Horn Clause Solving for Program Verification