Paper on join

There is a new paper giving the details on the join operator which allows high scalability in shape analysis.

Scalable Shape Analysis For Systems Code.
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano and Peter O'Hearn.
To appear in CAV 2008.