Shape analysis, for real!

Those of you involved in automatic program verification should take notice of this paper:

• On Scalable Shape Analysis
  Authored by Hongseok Yang, Oukseh Lee, Cristiano Calcagno, Dino Distefano, Peter O'Hearn